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 {
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 {
106
background-color: #ccc;
110
background-color: #aaa;
113
tr.row1:hover, tr.row2:hover {
114
background-color: #eee;
116
/* And if they are selected (blue shades) */
118
background-color: #88e;
122
background-color: #66c;
125
tr.row1sel:hover, tr.row2sel:hover {
126
background-color: #eee;
130
border-collapse: collapse;
133
#filetable td, #filetable th {
134
border: 1px solid #888;
137
/* Borders between icons and filename are turned off. */
139
#filetable td.col-icons, #filetable th.col-date, #filetable td.col-date {
140
border-right: 0 none;
142
#filetable td.col-filename {
149
border-left: 1px solid #888;
150
border-top: 1px solid #888;
151
background-color: #ccc;
157
#sidepanel p, #sidepanel h1, #sidepanel h2 {
80
167
font-weight: bold;
82
#actions1 option.choice {
85
#actions1 option.disabled {
90
/* Everything under the top bar */
96
/* top == #topbar.height + #topbar.padding * 2 */
173
background-color: #aaa;
174
border-top: 1px solid #888;