8
8
/* GENERAL FORMATTING */
10
#ivlebody p, #ivlebody h2, #ivlebody h3 {
14
#ivlebody p, #ivlebody h3 {
25
/* Override common #ivlebody */
27
padding: 0 ! important;
30
#middle, #middle tbody {
33
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
44
38
background-color: #aaf;
50
/* FILE LISTINGS TABLE */
53
border-collapse: collapse;
54
border-right: 1px solid #888;
70
/* Individual column sizes */
71
/* All columns have fixed widths except filename, which expands to fit. */
89
/* Table borders and rows */
92
background-color: #336;
95
tr.rowhead a:link, tr.rowhead a:visited {
98
/* Unselected (grey shades)
99
* Note alternating rows are different shades
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.
102
background-color: #ccc;
106
background-color: #aaa;
109
tr.row1:hover, tr.row2:hover {
110
background-color: #eee;
112
/* And if they are selected (blue shades) */
114
background-color: #88e;
118
background-color: #66c;
121
tr.row1sel:hover, tr.row2sel:hover {
122
background-color: #eee;
126
border-collapse: collapse;
129
#filetable td, #filetable th {
130
border: 1px solid #888;
133
/* Borders between icons and filename are turned off. */
135
#filetable td.col-icons, #filetable th.col-date, #filetable td.col-date {
136
border-right: 0 none;
138
#filetable td.col-filename {
145
border-left: 1px solid #888;
146
border-top: 1px solid #888;
147
background-color: #ccc;
153
#sidepanel p, #sidepanel h1, #sidepanel h2 {
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 {
60
text-decoration: underline;
62
#actions1 a.disabled {
64
text-decoration: none;
67
#actions1 a.disabled:hover, #actions1 a.disabled:active, #actions1 a.disabled:focus {
69
text-decoration: none;
71
/* Drop-down actions and headings */
76
#actions1 option.moreactions {
79
#actions1 option.heading {
163
80
font-weight: bold;
169
background-color: #aaa;
170
border-top: 1px solid #888;
82
#actions1 option.choice {
85
#actions1 option.disabled {
90
/* Everything under the top bar */
96
/* top == #topbar.height + #topbar.padding * 2 */
98
/* Space for the mimimised console */