5
5
* License version 2 or later.
8
/* GENERAL FORMATTING */
10
#ivlebody p, #ivlebody h2, #ivlebody h3 {
14
#ivlebody p, #ivlebody h3 {
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
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.
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 {
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 */