Merge branch 'jk/maint-rev-list-nul' into maint
[git/kirr.git] / Documentation / docbook-xsl.css
blobe11c8f053ad753f218a0a79ddacfe62862603bb9
1 /*
2 CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3 Tested with XSL stylesheets 1.61.2, 1.67.2
4 */
6 span.strong {
7 font-weight: bold;
10 body blockquote {
11 margin-top: .75em;
12 line-height: 1.5;
13 margin-bottom: .75em;
16 html body {
17 margin: 1em 5% 1em 5%;
18 line-height: 1.2;
19 font-family: sans-serif;
22 body div {
23 margin: 0;
26 h1, h2, h3, h4, h5, h6,
27 div.toc p b,
28 div.list-of-figures p b,
29 div.list-of-tables p b,
30 div.abstract p.title
32 color: #527bbd;
33 font-family: tahoma, verdana, sans-serif;
36 div.toc p:first-child,
37 div.list-of-figures p:first-child,
38 div.list-of-tables p:first-child,
39 div.example p.title
41 margin-bottom: 0.2em;
44 body h1 {
45 margin: .0em 0 0 -4%;
46 line-height: 1.3;
47 border-bottom: 2px solid silver;
50 body h2 {
51 margin: 0.5em 0 0 -4%;
52 line-height: 1.3;
53 border-bottom: 2px solid silver;
56 body h3 {
57 margin: .8em 0 0 -3%;
58 line-height: 1.3;
61 body h4 {
62 margin: .8em 0 0 -3%;
63 line-height: 1.3;
66 body h5 {
67 margin: .8em 0 0 -2%;
68 line-height: 1.3;
71 body h6 {
72 margin: .8em 0 0 -1%;
73 line-height: 1.3;
76 body hr {
77 border: none; /* Broken on IE6 */
79 div.footnotes hr {
80 border: 1px solid silver;
83 div.navheader th, div.navheader td, div.navfooter td {
84 font-family: sans-serif;
85 font-size: 0.9em;
86 font-weight: bold;
87 color: #527bbd;
89 div.navheader img, div.navfooter img {
90 border-style: none;
92 div.navheader a, div.navfooter a {
93 font-weight: normal;
95 div.navfooter hr {
96 border: 1px solid silver;
99 body td {
100 line-height: 1.2
103 body th {
104 line-height: 1.2;
107 ol {
108 line-height: 1.2;
111 ul, body dir, body menu {
112 line-height: 1.2;
115 html {
116 margin: 0;
117 padding: 0;
120 body h1, body h2, body h3, body h4, body h5, body h6 {
121 margin-left: 0
124 body pre {
125 margin: 0.5em 10% 0.5em 1em;
126 line-height: 1.0;
127 color: navy;
130 tt.literal, code.literal {
131 color: navy;
132 font-family: sans-serif;
135 code.literal:before { content: "'"; }
136 code.literal:after { content: "'"; }
138 em {
139 font-style: italic;
140 color: #064;
143 div.literallayout p {
144 padding: 0em;
145 margin: 0em;
148 div.literallayout {
149 font-family: monospace;
150 margin: 0em;
151 color: navy;
152 border: 1px solid silver;
153 background: #f4f4f4;
154 padding: 0.5em;
157 .programlisting, .screen {
158 border: 1px solid silver;
159 background: #f4f4f4;
160 margin: 0.5em 10% 0.5em 0;
161 padding: 0.5em 1em;
164 div.sidebar {
165 background: #ffffee;
166 margin: 1.0em 10% 0.5em 0;
167 padding: 0.5em 1em;
168 border: 1px solid silver;
170 div.sidebar * { padding: 0; }
171 div.sidebar div { margin: 0; }
172 div.sidebar p.title {
173 font-family: sans-serif;
174 margin-top: 0.5em;
175 margin-bottom: 0.2em;
178 div.bibliomixed {
179 margin: 0.5em 5% 0.5em 1em;
182 div.glossary dt {
183 font-weight: bold;
185 div.glossary dd p {
186 margin-top: 0.2em;
189 dl {
190 margin: .8em 0;
191 line-height: 1.2;
194 dt {
195 margin-top: 0.5em;
198 dt span.term {
199 font-style: normal;
200 color: navy;
203 div.variablelist dd p {
204 margin-top: 0;
207 div.itemizedlist li, div.orderedlist li {
208 margin-left: -0.8em;
209 margin-top: 0.5em;
212 ul, ol {
213 list-style-position: outside;
216 div.sidebar ul, div.sidebar ol {
217 margin-left: 2.8em;
220 div.itemizedlist p.title,
221 div.orderedlist p.title,
222 div.variablelist p.title
224 margin-bottom: -0.8em;
227 div.revhistory table {
228 border-collapse: collapse;
229 border: none;
231 div.revhistory th {
232 border: none;
233 color: #527bbd;
234 font-family: tahoma, verdana, sans-serif;
236 div.revhistory td {
237 border: 1px solid silver;
240 /* Keep TOC and index lines close together. */
241 div.toc dl, div.toc dt,
242 div.list-of-figures dl, div.list-of-figures dt,
243 div.list-of-tables dl, div.list-of-tables dt,
244 div.indexdiv dl, div.indexdiv dt
246 line-height: normal;
247 margin-top: 0;
248 margin-bottom: 0;
252 Table styling does not work because of overriding attributes in
253 generated HTML.
255 div.table table,
256 div.informaltable table
258 margin-left: 0;
259 margin-right: 5%;
260 margin-bottom: 0.8em;
262 div.informaltable table
264 margin-top: 0.4em
266 div.table thead,
267 div.table tfoot,
268 div.table tbody,
269 div.informaltable thead,
270 div.informaltable tfoot,
271 div.informaltable tbody
273 /* No effect in IE6. */
274 border-top: 2px solid #527bbd;
275 border-bottom: 2px solid #527bbd;
277 div.table thead, div.table tfoot,
278 div.informaltable thead, div.informaltable tfoot
280 font-weight: bold;
283 div.mediaobject img {
284 border: 1px solid silver;
285 margin-bottom: 0.8em;
287 div.figure p.title,
288 div.table p.title
290 margin-top: 1em;
291 margin-bottom: 0.4em;
294 @media print {
295 div.navheader, div.navfooter { display: none; }