annotate doc/style.css @ 1135:e0d275b9ebaa

Give a new style to menus.
author zas_
date Tue, 11 Nov 2008 21:50:42 +0000
parents ad40d1ec0726
children 0186f9c7d9e4
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
1 /* vim: set shiftwidth=8 softtabstop=0 cindent cinoptions={1s: */
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
2
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
3 /* common */
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
4 body {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
5 margin: 2em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
6 padding: 0;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
7 color: #000;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
8 background-color: #eee;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
9 font-family: "Trebuchet MS", Verdana, "Lucida Grande", Tahoma, Helvetica, Sans-Serif;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
10 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
11
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
12 table {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
13 page-break-before: always;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
14 }
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
15
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
16 a:hover {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
17 background-color: white;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
18 }
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
19
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
20 a.bottomnote {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
21 text-decoration: none;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
22 color: black;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
23 }
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
24
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
25 .option_name {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
26 font-variant: small-caps;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
27 font-size: 90%;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
28 font-weight: bold;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
29 }
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
30
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
31 dt {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
32 font-weight: bold;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
33 }
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
34
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
35 /* Previous + Next */
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
36 p.previous {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
37 text-align: left;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
38 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
39 p.navtop_title {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
40 text-align: center;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
41 font-weight:bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
42 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
43 p.navbottom_title {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
44 text-align: center;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
45 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
46
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
47 p.next {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
48 text-align: right;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
49 }
1105
215e102c1819 Drop most old css classes.
zas_
parents: 1104
diff changeset
50
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
51 div.navtop {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
52 text-align: center;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
53 }
1115
83d6b961117f Fix up unvalid xhtml.
zas_
parents: 1113
diff changeset
54
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
55 div.navbottom {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
56 text-align: center;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
57 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
58
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
59 /* Headings */
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
60 h1 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
61 margin-top: 1.3em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
62 margin-bottom: 1.3em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
63 color: #820303;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
64 background: #effefe;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
65 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
66
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
67 h2 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
68 margin-top: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
69 margin-bottom: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
70 color: #5A0202;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
71 background: #f6fefe;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
72 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
73
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
74 h3 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
75 margin-top: 0.7em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
76 margin-bottom: 0.7em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
77 color: #270101;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
78 background: #f8fefe;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
79 }
1105
215e102c1819 Drop most old css classes.
zas_
parents: 1104
diff changeset
80
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
81 hr#bottomseparator {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
82 margin-top: 6em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
83 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
84
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
85 div.bottomspacer {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
86 margin-bottom: 5em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
87 }
1115
83d6b961117f Fix up unvalid xhtml.
zas_
parents: 1113
diff changeset
88
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
89 div.footer {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
90 text-align: right;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
91 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
92
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
93 /* menu descriptions */
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
94 dl.menu_desc {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
95 margin-left: 2em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
96 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
97 .menu_desc dt {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
98 font-weight: bold;
1135
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
99 padding: 0.1em;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
100 border-left: 1px solid gray;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
101 border-bottom: 1px solid gray;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
102 display: inline;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
103 vertical-align: top;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
104 }
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
105 .menu_desc dd {
1135
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
106 margin-top: 0.3em;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
107 margin-bottom: 0.3em;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
108 font-size: small;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
109 }
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
110
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
111 .menu_desc dd dl {
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
112 margin-top: 0.7em;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
113 margin-bottom: 0.7em;
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
114 }
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
115
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
116 .menu_desc dd dl dd {
e0d275b9ebaa Give a new style to menus.
zas_
parents: 1127
diff changeset
117 font-size: small;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
118 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
119
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
120 /* dialog descriptions */
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
121 dl.dialog_desc {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
122 margin-left: 2em;
1120
86f281d6bac9 Minor cleanup.
zas_
parents: 1119
diff changeset
123 margin-bottom: 1em;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
124 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
125 .dialog_desc dt {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
126 display: inline;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
127 padding-left: 0.1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
128 padding-right: 0.1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
129 font-weight: bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
130 margin-top: 0.3em;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
131 border: 1px solid white;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
132 }
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
133 .dialog_desc dd {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
134 margin-bottom: 0.7em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
135 }
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
136 .dialog_desc dd dl {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
137 font-size: 90%;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
138 margin-bottom: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
139 }
1106
ae2b86450b1c Cleanup some tables.
zas_
parents: 1105
diff changeset
140
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
141 thead {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
142 font-weight: bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
143 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
144
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
145 p.note {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
146 font-style: italic;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
147 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
148 .note em {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
149 font-weight: bold;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
150 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
151
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
152 p.bottomnote {
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
153 margin-top: 5em;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
154 font-style: italic;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
155 font-size: 90%;
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
156 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
157 .bottomnote em {
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
158 font-weight: bold;
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
159 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
160
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
161 span.note_label {
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
162 font-weight: bold;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
163 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
164
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
165 code {
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
166 margin-left: 0.3em;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
167 padding: 0.1em;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
168 background: white;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
169 }
1107
1bb220ff787e More cleanup of tables.
zas_
parents: 1106
diff changeset
170
1124
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
171 .submenu li {
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
172 margin: 0.4em;
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
173 list-style-type: circle;
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
174 }
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
175
1125
e09f504d7f11 Update documentation a bit: General, Image, Windows, Filtering, Editors and a part of Advanced (Image Overlay) options.
zas_
parents: 1124
diff changeset
176 .examples dt {
e09f504d7f11 Update documentation a bit: General, Image, Windows, Filtering, Editors and a part of Advanced (Image Overlay) options.
zas_
parents: 1124
diff changeset
177 border: 0;
e09f504d7f11 Update documentation a bit: General, Image, Windows, Filtering, Editors and a part of Advanced (Image Overlay) options.
zas_
parents: 1124
diff changeset
178 }
e09f504d7f11 Update documentation a bit: General, Image, Windows, Filtering, Editors and a part of Advanced (Image Overlay) options.
zas_
parents: 1124
diff changeset
179
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
180 /* collections.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
181 div.collections-shortcuts {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
182 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
183 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
184 .collections-shortcuts p {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
185 margin: 0.1em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
186 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
187
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
188 /* image_presentation_fullscreen.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
189 div.fullscreen-shortcuts {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
190 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
191 }
1127
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
192 .fullscreen-shortcuts p {
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
193 margin: 0.1em;
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
194 }
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
195 td.fullscreen-shortcuts-separator {
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
196 background-color: white;
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
197 font-size: 110%;
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
198 }
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
199
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
200 div.fullscreen-functions {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
201 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
202 }
1127
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
203 .fullscreen-functions p {
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
204 margin: 0.1em;
ad40d1ec0726 Page cleanup and fixed. Remove obsolete note.
zas_
parents: 1125
diff changeset
205 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
206
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
207 /* image_search_finding_duplicates.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
208 div.find-duplicates-shortcuts {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
209 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
210 }
1123
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
211 .find-duplicates-shortcuts p {
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
212 margin: 0.1em;
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
213 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
214
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
215 /* image_search_search.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
216 div.search-shortcuts {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
217 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
218 }
1123
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
219 .search-shortcuts p {
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
220 margin: 0.1em;
aeb8360c2e2c Cosmetic changes in image search and find duplicates shortcuts tables.
zas_
parents: 1122
diff changeset
221 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
222
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
223 /* index.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
224 .menu ul {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
225 font-size: 110%;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
226 font-weight: bold;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
227 margin: 1em;
1124
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
228 list-style-type: disc;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
229 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
230 .menu ul li {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
231 margin: 0.4em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
232 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
233 .menu ul li ul {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
234 font-size: 90%;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
235 font-weight: normal;
1124
697b0761c30d Let subsection menus match index style.
zas_
parents: 1123
diff changeset
236 list-style-type: circle;
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
237 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
238
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
239 /* reference_command_line.html */
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
240 .command_line_options p {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
241 margin: 0.1em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
242 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
243 .remote_commands p {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
244 margin: 0.1em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
245 }
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
246
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
247 /* reference_keyboard_shortcuts.html */
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
248 div.keyboard-shortcuts {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
249 text-align: center;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
250 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
251 .keyboard-shortcuts p {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
252 margin: 0.1em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
253 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
254 td.keyboard-shortcuts-separator {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
255 background-color: white;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
256 font-size: 110%;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
257 }
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
258 .keyboard-shortcuts td+td+td {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
259 text-align: left;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
260 }
1119
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
261
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
262 /* reference_management.html */
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
263 .file_locations_subtitle {
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
264 font-weight: bold;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
265 background-color: white;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
266 text-align: center;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
267 }
1122
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
268 .file_locations p {
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
269 margin: 0.1em;
6d84a387b7f5 Tidy up.
zas_
parents: 1120
diff changeset
270 }
1119
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
271