Makefile: add a target which will abort compilation with ancient shells
[git/dscho.git] / Documentation / docbook-xsl.css
blobb878b385c6967f4c64ba30bdfe8f9bd24bef91e3
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;
21 body div {
22 margin: 0;
25 h1, h2, h3, h4, h5, h6,
26 div.toc p b,
27 div.list-of-figures p b,
28 div.list-of-tables p b,
29 div.abstract p.title
31 color: #527bbd;
32 font-family: tahoma, verdana, sans-serif;
35 div.toc p:first-child,
36 div.list-of-figures p:first-child,
37 div.list-of-tables p:first-child,
38 div.example p.title
40 margin-bottom: 0.2em;
43 body h1 {
44 margin: .0em 0 0 -4%;
45 line-height: 1.3;
46 border-bottom: 2px solid silver;
49 body h2 {
50 margin: 0.5em 0 0 -4%;
51 line-height: 1.3;
52 border-bottom: 2px solid silver;
55 body h3 {
56 margin: .8em 0 0 -3%;
57 line-height: 1.3;
60 body h4 {
61 margin: .8em 0 0 -3%;
62 line-height: 1.3;
65 body h5 {
66 margin: .8em 0 0 -2%;
67 line-height: 1.3;
70 body h6 {
71 margin: .8em 0 0 -1%;
72 line-height: 1.3;
75 body hr {
76 border: none; /* Broken on IE6 */
78 div.footnotes hr {
79 border: 1px solid silver;
82 div.navheader th, div.navheader td, div.navfooter td {
83 font-family: sans-serif;
84 font-size: 0.9em;
85 font-weight: bold;
86 color: #527bbd;
88 div.navheader img, div.navfooter img {
89 border-style: none;
91 div.navheader a, div.navfooter a {
92 font-weight: normal;
94 div.navfooter hr {
95 border: 1px solid silver;
98 body td {
99 line-height: 1.2
102 body th {
103 line-height: 1.2;
106 ol {
107 line-height: 1.2;
110 ul, body dir, body menu {
111 line-height: 1.2;
114 html {
115 margin: 0;
116 padding: 0;
119 body h1, body h2, body h3, body h4, body h5, body h6 {
120 margin-left: 0
123 body pre {
124 margin: 0.5em 10% 0.5em 1em;
125 line-height: 1.0;
126 color: navy;
129 tt.literal, code.literal {
130 color: navy;
133 div.literallayout p {
134 padding: 0em;
135 margin: 0em;
138 div.literallayout {
139 font-family: monospace;
140 # margin: 0.5em 10% 0.5em 1em;
141 margin: 0em;
142 color: navy;
143 border: 1px solid silver;
144 background: #f4f4f4;
145 padding: 0.5em;
148 .programlisting, .screen {
149 border: 1px solid silver;
150 background: #f4f4f4;
151 margin: 0.5em 10% 0.5em 0;
152 padding: 0.5em 1em;
155 div.sidebar {
156 background: #ffffee;
157 margin: 1.0em 10% 0.5em 0;
158 padding: 0.5em 1em;
159 border: 1px solid silver;
161 div.sidebar * { padding: 0; }
162 div.sidebar div { margin: 0; }
163 div.sidebar p.title {
164 font-family: sans-serif;
165 margin-top: 0.5em;
166 margin-bottom: 0.2em;
169 div.bibliomixed {
170 margin: 0.5em 5% 0.5em 1em;
173 div.glossary dt {
174 font-weight: bold;
176 div.glossary dd p {
177 margin-top: 0.2em;
180 dl {
181 margin: .8em 0;
182 line-height: 1.2;
185 dt {
186 margin-top: 0.5em;
189 dt span.term {
190 font-style: italic;
193 div.variablelist dd p {
194 margin-top: 0;
197 div.itemizedlist li, div.orderedlist li {
198 margin-left: -0.8em;
199 margin-top: 0.5em;
202 ul, ol {
203 list-style-position: outside;
206 div.sidebar ul, div.sidebar ol {
207 margin-left: 2.8em;
210 div.itemizedlist p.title,
211 div.orderedlist p.title,
212 div.variablelist p.title
214 margin-bottom: -0.8em;
217 div.revhistory table {
218 border-collapse: collapse;
219 border: none;
221 div.revhistory th {
222 border: none;
223 color: #527bbd;
224 font-family: tahoma, verdana, sans-serif;
226 div.revhistory td {
227 border: 1px solid silver;
230 /* Keep TOC and index lines close together. */
231 div.toc dl, div.toc dt,
232 div.list-of-figures dl, div.list-of-figures dt,
233 div.list-of-tables dl, div.list-of-tables dt,
234 div.indexdiv dl, div.indexdiv dt
236 line-height: normal;
237 margin-top: 0;
238 margin-bottom: 0;
242 Table styling does not work because of overriding attributes in
243 generated HTML.
245 div.table table,
246 div.informaltable table
248 margin-left: 0;
249 margin-right: 5%;
250 margin-bottom: 0.8em;
252 div.informaltable table
254 margin-top: 0.4em
256 div.table thead,
257 div.table tfoot,
258 div.table tbody,
259 div.informaltable thead,
260 div.informaltable tfoot,
261 div.informaltable tbody
263 /* No effect in IE6. */
264 border-top: 2px solid #527bbd;
265 border-bottom: 2px solid #527bbd;
267 div.table thead, div.table tfoot,
268 div.informaltable thead, div.informaltable tfoot
270 font-weight: bold;
273 div.mediaobject img {
274 border: 1px solid silver;
275 margin-bottom: 0.8em;
277 div.figure p.title,
278 div.table p.title
280 margin-top: 1em;
281 margin-bottom: 0.4em;
284 @media print {
285 div.navheader, div.navfooter { display: none; }