annotate doc/style.css @ 1120:86f281d6bac9

Minor cleanup.
author zas_
date Mon, 10 Nov 2008 20:16:45 +0000
parents 829f45bf988b
children 6d84a387b7f5
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
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
12 table {page-break-before: always}
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
13
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
14 a:hover {background-color: white}
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
15
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
16 a.bottomnote {text-decoration: none; color: black;}
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
17
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
18 .option_name { font-variant: small-caps; font-size: 90%; font-weight: bold }
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
19
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
20 dt { font-weight: bold }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
21
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
22 p.previous {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
23 text-align: left
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
24 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
25 p.navtop_title {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
26 text-align: center;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
27 font-weight:bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
28 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
29 p.navbottom_title {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
30 text-align: center;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
31 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
32
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
33 p.next {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
34 text-align: right
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
35 }
1105
215e102c1819 Drop most old css classes.
zas_
parents: 1104
diff changeset
36
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
37 div.navtop {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
38 text-align: center
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
39 }
1115
83d6b961117f Fix up unvalid xhtml.
zas_
parents: 1113
diff changeset
40
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
41 div.navbottom {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
42 text-align: center
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
43 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
44
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
45 h1 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
46 margin-top: 1.3em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
47 margin-bottom: 1.3em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
48 color: #820303;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
49 background: #effefe
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
50 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
51
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
52 h2 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
53 margin-top: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
54 margin-bottom: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
55 color: #5A0202;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
56 background: #f6fefe
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
57 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
58
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
59 h3 {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
60 margin-top: 0.7em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
61 margin-bottom: 0.7em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
62 color: #270101;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
63 background: #f8fefe
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
64 }
1105
215e102c1819 Drop most old css classes.
zas_
parents: 1104
diff changeset
65
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
66 hr#bottomseparator {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
67 margin-top: 6em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
68 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
69
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
70 div.bottomspacer {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
71 margin-bottom: 5em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
72 }
1115
83d6b961117f Fix up unvalid xhtml.
zas_
parents: 1113
diff changeset
73
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
74 div.footer {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
75 text-align: right
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
76 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
77
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
78 /* menu descriptions */
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
79 dl.menu_desc {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
80 margin-left: 2em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
81 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
82 .menu_desc dt {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
83 font-weight: bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
84 padding-top: 0.3em
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
85 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
86 .menu_desc dd {}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
87
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
88 /* dialog descriptions */
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
89 dl.dialog_desc {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
90 margin-left: 2em;
1120
86f281d6bac9 Minor cleanup.
zas_
parents: 1119
diff changeset
91 margin-bottom: 1em;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
92 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
93 .dialog_desc dt {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
94 display: inline;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
95 padding-left: 0.1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
96 padding-right: 0.1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
97 font-weight: bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
98 margin-top: 0.3em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
99 border: 1px solid white
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
100 }
1120
86f281d6bac9 Minor cleanup.
zas_
parents: 1119
diff changeset
101 .dialog_desc dd { margin-bottom: 0.7em }
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
102 .dialog_desc dd dl {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
103 font-size: 90%;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
104 margin-bottom: 1em;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
105 }
1106
ae2b86450b1c Cleanup some tables.
zas_
parents: 1105
diff changeset
106
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
107 thead {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
108 font-weight: bold;
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
109 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
110
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
111
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
112 p.note {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
113 font-style: italic
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
114 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
115 .note em {
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
116 font-weight: bold
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
117 }
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
118
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
119 p.bottomnote {
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
120 margin-top: 5em;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
121 font-style: italic;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
122 font-size: 90%
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
123 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
124 .bottomnote em {
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
125 font-weight: bold
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
126 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
127
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
128 span.note_label {
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
129 font-weight: bold;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
130 }
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
131
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
132 code {
1118
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
133 margin-left: 0.3em;
71c5b25b371a Notes cleanup and minor stylistic fixes.
zas_
parents: 1117
diff changeset
134 padding: 0.1em;
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
135 background: white
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
136 }
1107
1bb220ff787e More cleanup of tables.
zas_
parents: 1106
diff changeset
137
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
138 /* collections.html */
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
139 div.collections-shortcuts {text-align: center}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
140
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
141 /* image_presentation_fullscreen.html */
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
142 div.fullscreen-shortcuts {text-align: center}
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
143 div.fullscreen-functions {text-align: center}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
144
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
145
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
146 /* image_search_finding_duplicates.html */
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
147 div.find-duplicates-shortcuts {text-align: center}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
148
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
149 /* image_search_search.html */
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
150 div.search-shortcuts {text-align: center}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
151
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
152 /* index.html */
1113
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
153 .menu ul {font-size: 110%; font-weight: bold; margin: 10px;}
79e69e5f4642 Beautify the manual.
zas_
parents: 1110
diff changeset
154 .menu ul li {margin: 4px;}
1115
83d6b961117f Fix up unvalid xhtml.
zas_
parents: 1113
diff changeset
155 .menu ul li ul {font-size: 90%; font-weight: normal}
1095
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
156
31a1a3f85859 Move css styles to an external stylesheet.
zas_
parents:
diff changeset
157 /* reference_keyboard_shortcuts.html */
1117
73bbcaf9abba Various fixes and cleanup.
zas_
parents: 1115
diff changeset
158 div.keyboard-shortcuts {text-align: center}
1119
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
159 .keyboard-shortcuts p { margin: 0.1em }
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
160 td.keyboard-shortcuts-separator {background-color: white; font-size: 110%}
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
161 .keyboard-shortcuts td+td+td { text-align: left}
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
162
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
163 /* reference_management.html */
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
164 .file_locations_subtitle {
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
165 font-weight: bold;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
166 background-color: white;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
167 text-align: center;
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
168 }
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
169 .file_locations p { margin: 0.1em }
829f45bf988b Tidy up and minor fixes.
zas_
parents: 1118
diff changeset
170