29
/* Override common #ivlebody */
31
padding: 0 ! important;
34
#middle, #middle tbody {
37
border-collapse: collapse;
32
/* height == h2.margin + h2.line-height
33
* + max(h2.margin, p.margin) + p.line-height + p.margin
34
* == 1.1*0.7em + 1.1*1.2em + 1.1*0.7em + 1.1em + 0.7em
38
48
background-color: #aaf;
48
/* class "choice" is for all choices, enabled and disabled. This is for both
49
* the <a> actions and <option> actions.
50
* class "disabled" is for disabled choices.
54
/* FILE LISTINGS TABLE */
57
border-collapse: collapse;
58
border-right: 1px solid #888;
74
/* Individual column sizes */
75
/* All columns have fixed widths except filename, which expands to fit. */
93
/* Table borders and rows */
96
background-color: #336;
99
tr.rowhead a:link, tr.rowhead a:visited {
102
/* Unselected (grey shades)
103
* Note alternating rows are different shades
52
#actions1 a.choice, #actions2 a {
54
text-decoration: underline;
57
#actions1 a.choice:hover, #actions1 a.choice:active, #actions1 a.choice:focus,
58
#actions2 a:hover, #actions2 a:active, #actions2 a:focus {
61
#actions1 a.disabled {
63
text-decoration: none;
66
/* Drop-down actions and headings */
67
#actions1 option.moreactions, #actions1 option.disabled {
106
background-color: #ccc;
110
background-color: #bbb;
113
/* And if they are selected (blue shades) */
115
background-color: #88e;
119
background-color: #77d;
124
border-collapse: collapse;
127
#filetable td, #filetable th {
128
border: 1px solid #888;
131
/* Borders between icons and filename are turned off. */
133
#filetable td.col-icons, #filetable th.col-date, #filetable td.col-date {
134
border-right: 0 none;
136
#filetable td.col-filename {
143
border-left: 1px solid #888;
144
border-top: 1px solid #888;
145
background-color: #ccc;
151
#sidepanel p, #sidepanel h2, #sidepanel h3 {
75
/* One of the actions2s is shown at runtime, depending on the context.
76
* We will show moreactions if we need it. */
77
#actions1 #moreactions_area, #actions2 #actions2_file,
78
#actions2 #actions2_directory {
82
/* Everything under the top bar */
88
/* top == #topbar.height + #topbar.padding * 2 */
90
/* Space for the mimimised console */
167
background-color: #aaa;
168
border-top: 1px solid #888;