comparison doc/style.css @ 1122:6d84a387b7f5

Tidy up.
author zas_
date Mon, 10 Nov 2008 20:42:44 +0000
parents 86f281d6bac9
children aeb8360c2e2c
comparison
equal deleted inserted replaced
1121:24c89a03ec12 1122:6d84a387b7f5
7 color: #000; 7 color: #000;
8 background-color: #eee; 8 background-color: #eee;
9 font-family: "Trebuchet MS", Verdana, "Lucida Grande", Tahoma, Helvetica, Sans-Serif; 9 font-family: "Trebuchet MS", Verdana, "Lucida Grande", Tahoma, Helvetica, Sans-Serif;
10 } 10 }
11 11
12 table {page-break-before: always} 12 table {
13 13 page-break-before: always;
14 a:hover {background-color: white} 14 }
15 15
16 a.bottomnote {text-decoration: none; color: black;} 16 a:hover {
17 17 background-color: white;
18 .option_name { font-variant: small-caps; font-size: 90%; font-weight: bold } 18 }
19 19
20 dt { font-weight: bold } 20 a.bottomnote {
21 21 text-decoration: none;
22 color: black;
23 }
24
25 .option_name {
26 font-variant: small-caps;
27 font-size: 90%;
28 font-weight: bold;
29 }
30
31 dt {
32 font-weight: bold;
33 }
34
35 /* Previous + Next */
22 p.previous { 36 p.previous {
23 text-align: left 37 text-align: left;
24 } 38 }
25 p.navtop_title { 39 p.navtop_title {
26 text-align: center; 40 text-align: center;
27 font-weight:bold; 41 font-weight:bold;
28 } 42 }
29 p.navbottom_title { 43 p.navbottom_title {
30 text-align: center; 44 text-align: center;
31 } 45 }
32 46
33 p.next { 47 p.next {
34 text-align: right 48 text-align: right;
35 } 49 }
36 50
37 div.navtop { 51 div.navtop {
38 text-align: center 52 text-align: center;
39 } 53 }
40 54
41 div.navbottom { 55 div.navbottom {
42 text-align: center 56 text-align: center;
43 } 57 }
44 58
59 /* Headings */
45 h1 { 60 h1 {
46 margin-top: 1.3em; 61 margin-top: 1.3em;
47 margin-bottom: 1.3em; 62 margin-bottom: 1.3em;
48 color: #820303; 63 color: #820303;
49 background: #effefe 64 background: #effefe;
50 } 65 }
51 66
52 h2 { 67 h2 {
53 margin-top: 1em; 68 margin-top: 1em;
54 margin-bottom: 1em; 69 margin-bottom: 1em;
55 color: #5A0202; 70 color: #5A0202;
56 background: #f6fefe 71 background: #f6fefe;
57 } 72 }
58 73
59 h3 { 74 h3 {
60 margin-top: 0.7em; 75 margin-top: 0.7em;
61 margin-bottom: 0.7em; 76 margin-bottom: 0.7em;
62 color: #270101; 77 color: #270101;
63 background: #f8fefe 78 background: #f8fefe;
64 } 79 }
65 80
66 hr#bottomseparator { 81 hr#bottomseparator {
67 margin-top: 6em; 82 margin-top: 6em;
68 } 83 }
70 div.bottomspacer { 85 div.bottomspacer {
71 margin-bottom: 5em; 86 margin-bottom: 5em;
72 } 87 }
73 88
74 div.footer { 89 div.footer {
75 text-align: right 90 text-align: right;
76 } 91 }
77 92
78 /* menu descriptions */ 93 /* menu descriptions */
79 dl.menu_desc { 94 dl.menu_desc {
80 margin-left: 2em; 95 margin-left: 2em;
81 } 96 }
82 .menu_desc dt { 97 .menu_desc dt {
83 font-weight: bold; 98 font-weight: bold;
84 padding-top: 0.3em 99 padding-top: 0.3em;
85 } 100 }
86 .menu_desc dd {} 101 .menu_desc dd {
102 }
87 103
88 /* dialog descriptions */ 104 /* dialog descriptions */
89 dl.dialog_desc { 105 dl.dialog_desc {
90 margin-left: 2em; 106 margin-left: 2em;
91 margin-bottom: 1em; 107 margin-bottom: 1em;
94 display: inline; 110 display: inline;
95 padding-left: 0.1em; 111 padding-left: 0.1em;
96 padding-right: 0.1em; 112 padding-right: 0.1em;
97 font-weight: bold; 113 font-weight: bold;
98 margin-top: 0.3em; 114 margin-top: 0.3em;
99 border: 1px solid white 115 border: 1px solid white;
100 } 116 }
101 .dialog_desc dd { margin-bottom: 0.7em } 117 .dialog_desc dd {
118 margin-bottom: 0.7em;
119 }
102 .dialog_desc dd dl { 120 .dialog_desc dd dl {
103 font-size: 90%; 121 font-size: 90%;
104 margin-bottom: 1em; 122 margin-bottom: 1em;
105 } 123 }
106 124
108 font-weight: bold; 126 font-weight: bold;
109 } 127 }
110 128
111 129
112 p.note { 130 p.note {
113 font-style: italic 131 font-style: italic;
114 } 132 }
115 .note em { 133 .note em {
116 font-weight: bold 134 font-weight: bold;
117 } 135 }
118 136
119 p.bottomnote { 137 p.bottomnote {
120 margin-top: 5em; 138 margin-top: 5em;
121 font-style: italic; 139 font-style: italic;
122 font-size: 90% 140 font-size: 90%;
123 } 141 }
124 .bottomnote em { 142 .bottomnote em {
125 font-weight: bold 143 font-weight: bold;
126 } 144 }
127 145
128 span.note_label { 146 span.note_label {
129 font-weight: bold; 147 font-weight: bold;
130 } 148 }
131 149
132 code { 150 code {
133 margin-left: 0.3em; 151 margin-left: 0.3em;
134 padding: 0.1em; 152 padding: 0.1em;
135 background: white 153 background: white;
136 } 154 }
137 155
138 /* collections.html */ 156 /* collections.html */
139 div.collections-shortcuts {text-align: center} 157 div.collections-shortcuts {
158 text-align: center;
159 }
160 .collections-shortcuts p {
161 margin: 0.1em;
162 }
140 163
141 /* image_presentation_fullscreen.html */ 164 /* image_presentation_fullscreen.html */
142 div.fullscreen-shortcuts {text-align: center} 165 div.fullscreen-shortcuts {
143 div.fullscreen-functions {text-align: center} 166 text-align: center;
144 167 }
168 div.fullscreen-functions {
169 text-align: center;
170 }
145 171
146 /* image_search_finding_duplicates.html */ 172 /* image_search_finding_duplicates.html */
147 div.find-duplicates-shortcuts {text-align: center} 173 div.find-duplicates-shortcuts {
174 text-align: center;
175 }
148 176
149 /* image_search_search.html */ 177 /* image_search_search.html */
150 div.search-shortcuts {text-align: center} 178 div.search-shortcuts {
179 text-align: center;
180 }
151 181
152 /* index.html */ 182 /* index.html */
153 .menu ul {font-size: 110%; font-weight: bold; margin: 10px;} 183 .menu ul {
154 .menu ul li {margin: 4px;} 184 font-size: 110%;
155 .menu ul li ul {font-size: 90%; font-weight: normal} 185 font-weight: bold;
186 margin: 1em;
187 }
188 .menu ul li {
189 margin: 0.4em;
190 }
191 .menu ul li ul {
192 font-size: 90%;
193 font-weight: normal;
194 }
195
196 /* reference_command_line.html */
197 .command_line_options p {
198 margin: 0.1em;
199 }
200 .remote_commands p {
201 margin: 0.1em;
202 }
156 203
157 /* reference_keyboard_shortcuts.html */ 204 /* reference_keyboard_shortcuts.html */
158 div.keyboard-shortcuts {text-align: center} 205 div.keyboard-shortcuts {
159 .keyboard-shortcuts p { margin: 0.1em } 206 text-align: center;
160 td.keyboard-shortcuts-separator {background-color: white; font-size: 110%} 207 }
161 .keyboard-shortcuts td+td+td { text-align: left} 208 .keyboard-shortcuts p {
209 margin: 0.1em;
210 }
211 td.keyboard-shortcuts-separator {
212 background-color: white;
213 font-size: 110%;
214 }
215 .keyboard-shortcuts td+td+td {
216 text-align: left;
217 }
162 218
163 /* reference_management.html */ 219 /* reference_management.html */
164 .file_locations_subtitle { 220 .file_locations_subtitle {
165 font-weight: bold; 221 font-weight: bold;
166 background-color: white; 222 background-color: white;
167 text-align: center; 223 text-align: center;
168 } 224 }
169 .file_locations p { margin: 0.1em } 225 .file_locations p {
170 226 margin: 0.1em;
227 }
228