xref: /aosp_15_r20/external/libnl/doc/stylesheets/asciidoc.css (revision 4dc78e53d49367fa8e61b07018507c90983a077d)
1*4dc78e53SAndroid Build Coastguard Worker/* Shared CSS for AsciiDoc xhtml11 and html5 backends */
2*4dc78e53SAndroid Build Coastguard Worker
3*4dc78e53SAndroid Build Coastguard Worker/* Default font. */
4*4dc78e53SAndroid Build Coastguard Workerbody {
5*4dc78e53SAndroid Build Coastguard Worker  font-family: Georgia,serif;
6*4dc78e53SAndroid Build Coastguard Worker}
7*4dc78e53SAndroid Build Coastguard Worker
8*4dc78e53SAndroid Build Coastguard Worker/* Title font. */
9*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6,
10*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title,
11*4dc78e53SAndroid Build Coastguard Workerthead, p.table.header,
12*4dc78e53SAndroid Build Coastguard Worker#toctitle,
13*4dc78e53SAndroid Build Coastguard Worker#author, #revnumber, #revdate, #revremark,
14*4dc78e53SAndroid Build Coastguard Worker#footer {
15*4dc78e53SAndroid Build Coastguard Worker  /* OLD: font-family: Arial,Helvetica,sans-serif; */
16*4dc78e53SAndroid Build Coastguard Worker  font-family: Lucida Grande, Verdana, Geneva, Arial, sans-serif;
17*4dc78e53SAndroid Build Coastguard Worker}
18*4dc78e53SAndroid Build Coastguard Worker
19*4dc78e53SAndroid Build Coastguard Workerbody {
20*4dc78e53SAndroid Build Coastguard Worker  margin: 1em 5% 1em 5%;
21*4dc78e53SAndroid Build Coastguard Worker}
22*4dc78e53SAndroid Build Coastguard Worker
23*4dc78e53SAndroid Build Coastguard Workera {
24*4dc78e53SAndroid Build Coastguard Worker  /* color: blue; */
25*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
26*4dc78e53SAndroid Build Coastguard Worker  text-decoration: none;
27*4dc78e53SAndroid Build Coastguard Worker}
28*4dc78e53SAndroid Build Coastguard Workera:visited {
29*4dc78e53SAndroid Build Coastguard Worker  /* color: fuchsia; */
30*4dc78e53SAndroid Build Coastguard Worker}
31*4dc78e53SAndroid Build Coastguard Worker
32*4dc78e53SAndroid Build Coastguard Workera:hover {
33*4dc78e53SAndroid Build Coastguard Worker	text-decoration: underline;
34*4dc78e53SAndroid Build Coastguard Worker}
35*4dc78e53SAndroid Build Coastguard Worker
36*4dc78e53SAndroid Build Coastguard Workerem {
37*4dc78e53SAndroid Build Coastguard Worker  font-style: italic;
38*4dc78e53SAndroid Build Coastguard Worker  /* color: navy; */
39*4dc78e53SAndroid Build Coastguard Worker}
40*4dc78e53SAndroid Build Coastguard Worker
41*4dc78e53SAndroid Build Coastguard Workerstrong {
42*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
43*4dc78e53SAndroid Build Coastguard Worker  color: black;
44*4dc78e53SAndroid Build Coastguard Worker  /* color: #083194; */
45*4dc78e53SAndroid Build Coastguard Worker}
46*4dc78e53SAndroid Build Coastguard Worker
47*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6 {
48*4dc78e53SAndroid Build Coastguard Worker  /* color: #527bbd; */
49*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
50*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.2em;
51*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
52*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
53*4dc78e53SAndroid Build Coastguard Worker}
54*4dc78e53SAndroid Build Coastguard Worker
55*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3 {
56*4dc78e53SAndroid Build Coastguard Worker  border-bottom: 2px solid silver;
57*4dc78e53SAndroid Build Coastguard Worker}
58*4dc78e53SAndroid Build Coastguard Workerh2 {
59*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
60*4dc78e53SAndroid Build Coastguard Worker}
61*4dc78e53SAndroid Build Coastguard Workerh3 {
62*4dc78e53SAndroid Build Coastguard Worker  float: left;
63*4dc78e53SAndroid Build Coastguard Worker}
64*4dc78e53SAndroid Build Coastguard Workerh3 + * {
65*4dc78e53SAndroid Build Coastguard Worker  clear: left;
66*4dc78e53SAndroid Build Coastguard Worker}
67*4dc78e53SAndroid Build Coastguard Workerh5 {
68*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.0em;
69*4dc78e53SAndroid Build Coastguard Worker}
70*4dc78e53SAndroid Build Coastguard Worker
71*4dc78e53SAndroid Build Coastguard Workerdiv.sectionbody {
72*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0;
73*4dc78e53SAndroid Build Coastguard Worker}
74*4dc78e53SAndroid Build Coastguard Worker
75*4dc78e53SAndroid Build Coastguard Workerhr {
76*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
77*4dc78e53SAndroid Build Coastguard Worker}
78*4dc78e53SAndroid Build Coastguard Worker
79*4dc78e53SAndroid Build Coastguard Workerp {
80*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
81*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
82*4dc78e53SAndroid Build Coastguard Worker}
83*4dc78e53SAndroid Build Coastguard Worker
84*4dc78e53SAndroid Build Coastguard Workerul, ol, li > p {
85*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
86*4dc78e53SAndroid Build Coastguard Worker}
87*4dc78e53SAndroid Build Coastguard Workerul > li     { color: #aaa; }
88*4dc78e53SAndroid Build Coastguard Workerul > li > * { color: black; }
89*4dc78e53SAndroid Build Coastguard Worker
90*4dc78e53SAndroid Build Coastguard Workerpre {
91*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
92*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
93*4dc78e53SAndroid Build Coastguard Worker}
94*4dc78e53SAndroid Build Coastguard Worker
95*4dc78e53SAndroid Build Coastguard Worker#author {
96*4dc78e53SAndroid Build Coastguard Worker  /* color: #527bbd; */
97*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
98*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
99*4dc78e53SAndroid Build Coastguard Worker}
100*4dc78e53SAndroid Build Coastguard Worker#email {
101*4dc78e53SAndroid Build Coastguard Worker}
102*4dc78e53SAndroid Build Coastguard Worker#revnumber, #revdate, #revremark {
103*4dc78e53SAndroid Build Coastguard Worker}
104*4dc78e53SAndroid Build Coastguard Worker
105*4dc78e53SAndroid Build Coastguard Worker#footer {
106*4dc78e53SAndroid Build Coastguard Worker  font-size: small;
107*4dc78e53SAndroid Build Coastguard Worker  border-top: 2px solid silver;
108*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
109*4dc78e53SAndroid Build Coastguard Worker  margin-top: 4.0em;
110*4dc78e53SAndroid Build Coastguard Worker}
111*4dc78e53SAndroid Build Coastguard Worker#footer-text {
112*4dc78e53SAndroid Build Coastguard Worker  float: left;
113*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
114*4dc78e53SAndroid Build Coastguard Worker}
115*4dc78e53SAndroid Build Coastguard Worker#footer-badges {
116*4dc78e53SAndroid Build Coastguard Worker  float: right;
117*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
118*4dc78e53SAndroid Build Coastguard Worker}
119*4dc78e53SAndroid Build Coastguard Worker
120*4dc78e53SAndroid Build Coastguard Worker#preamble {
121*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.5em;
122*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
123*4dc78e53SAndroid Build Coastguard Worker}
124*4dc78e53SAndroid Build Coastguard Workerdiv.imageblock, div.exampleblock, div.verseblock,
125*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
126*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
127*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
128*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
129*4dc78e53SAndroid Build Coastguard Worker}
130*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
131*4dc78e53SAndroid Build Coastguard Worker  margin-top: 2.0em;
132*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 2.0em;
133*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
134*4dc78e53SAndroid Build Coastguard Worker  /* color: #606060; */
135*4dc78e53SAndroid Build Coastguard Worker}
136*4dc78e53SAndroid Build Coastguard Worker
137*4dc78e53SAndroid Build Coastguard Workerdiv.content { /* Block element content. */
138*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
139*4dc78e53SAndroid Build Coastguard Worker}
140*4dc78e53SAndroid Build Coastguard Worker
141*4dc78e53SAndroid Build Coastguard Worker/* Block element titles. */
142*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title {
143*4dc78e53SAndroid Build Coastguard Worker  /* OLD: color: #527bbd; */
144*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
145*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
146*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
147*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
148*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
149*4dc78e53SAndroid Build Coastguard Worker}
150*4dc78e53SAndroid Build Coastguard Workerdiv.title + * {
151*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
152*4dc78e53SAndroid Build Coastguard Worker}
153*4dc78e53SAndroid Build Coastguard Worker
154*4dc78e53SAndroid Build Coastguard Workertd div.title:first-child {
155*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
156*4dc78e53SAndroid Build Coastguard Worker}
157*4dc78e53SAndroid Build Coastguard Workerdiv.content div.title:first-child {
158*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
159*4dc78e53SAndroid Build Coastguard Worker}
160*4dc78e53SAndroid Build Coastguard Workerdiv.content + div.title {
161*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
162*4dc78e53SAndroid Build Coastguard Worker}
163*4dc78e53SAndroid Build Coastguard Worker
164*4dc78e53SAndroid Build Coastguard Workerdiv.sidebarblock > div.content {
165*4dc78e53SAndroid Build Coastguard Worker  background: #ffffee;
166*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid #dddddd;
167*4dc78e53SAndroid Build Coastguard Worker  border-left: 4px solid #f0f0f0;
168*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
169*4dc78e53SAndroid Build Coastguard Worker}
170*4dc78e53SAndroid Build Coastguard Worker
171*4dc78e53SAndroid Build Coastguard Workerdiv.listingblock > div.content {
172*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid #dddddd;
173*4dc78e53SAndroid Build Coastguard Worker  /* border-left: 5px solid #f0f0f0; */
174*4dc78e53SAndroid Build Coastguard Worker  background: #f8f8f8;
175*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
176*4dc78e53SAndroid Build Coastguard Worker}
177*4dc78e53SAndroid Build Coastguard Worker
178*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock, div.verseblock {
179*4dc78e53SAndroid Build Coastguard Worker  padding-left: 1.0em;
180*4dc78e53SAndroid Build Coastguard Worker  margin-left: 1.0em;
181*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
182*4dc78e53SAndroid Build Coastguard Worker  border-left: 5px solid #f0f0f0;
183*4dc78e53SAndroid Build Coastguard Worker  color: #777777;
184*4dc78e53SAndroid Build Coastguard Worker}
185*4dc78e53SAndroid Build Coastguard Worker
186*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock > div.attribution {
187*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
188*4dc78e53SAndroid Build Coastguard Worker  text-align: right;
189*4dc78e53SAndroid Build Coastguard Worker}
190*4dc78e53SAndroid Build Coastguard Worker
191*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > pre.content {
192*4dc78e53SAndroid Build Coastguard Worker  font-family: inherit;
193*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
194*4dc78e53SAndroid Build Coastguard Worker}
195*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > div.attribution {
196*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.75em;
197*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
198*4dc78e53SAndroid Build Coastguard Worker}
199*4dc78e53SAndroid Build Coastguard Worker/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
200*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock + div.attribution {
201*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
202*4dc78e53SAndroid Build Coastguard Worker}
203*4dc78e53SAndroid Build Coastguard Worker
204*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock .icon {
205*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
206*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
207*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
208*4dc78e53SAndroid Build Coastguard Worker  text-decoration: underline;
209*4dc78e53SAndroid Build Coastguard Worker  /* OLD: color: #527bbd; */
210*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
211*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.5em;
212*4dc78e53SAndroid Build Coastguard Worker}
213*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock td.content {
214*4dc78e53SAndroid Build Coastguard Worker  padding-left: 0.5em;
215*4dc78e53SAndroid Build Coastguard Worker  border-left: 3px solid #dddddd;
216*4dc78e53SAndroid Build Coastguard Worker}
217*4dc78e53SAndroid Build Coastguard Worker
218*4dc78e53SAndroid Build Coastguard Workerdiv.exampleblock > div.content {
219*4dc78e53SAndroid Build Coastguard Worker  border-left: 3px solid #dddddd;
220*4dc78e53SAndroid Build Coastguard Worker  padding-left: 0.5em;
221*4dc78e53SAndroid Build Coastguard Worker}
222*4dc78e53SAndroid Build Coastguard Worker
223*4dc78e53SAndroid Build Coastguard Workerdiv.imageblock div.content { padding-left: 0; }
224*4dc78e53SAndroid Build Coastguard Workerspan.image img { border-style: none; }
225*4dc78e53SAndroid Build Coastguard Workera.image:visited { color: white; }
226*4dc78e53SAndroid Build Coastguard Worker
227*4dc78e53SAndroid Build Coastguard Workerdl {
228*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.8em;
229*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.8em;
230*4dc78e53SAndroid Build Coastguard Worker}
231*4dc78e53SAndroid Build Coastguard Workerdt {
232*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
233*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
234*4dc78e53SAndroid Build Coastguard Worker  font-style: normal;
235*4dc78e53SAndroid Build Coastguard Worker  color: navy;
236*4dc78e53SAndroid Build Coastguard Worker}
237*4dc78e53SAndroid Build Coastguard Workerdd > *:first-child {
238*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.1em;
239*4dc78e53SAndroid Build Coastguard Worker}
240*4dc78e53SAndroid Build Coastguard Worker
241*4dc78e53SAndroid Build Coastguard Workerul, ol {
242*4dc78e53SAndroid Build Coastguard Worker    list-style-position: outside;
243*4dc78e53SAndroid Build Coastguard Worker}
244*4dc78e53SAndroid Build Coastguard Workerol.arabic {
245*4dc78e53SAndroid Build Coastguard Worker  list-style-type: decimal;
246*4dc78e53SAndroid Build Coastguard Worker}
247*4dc78e53SAndroid Build Coastguard Workerol.loweralpha {
248*4dc78e53SAndroid Build Coastguard Worker  list-style-type: lower-alpha;
249*4dc78e53SAndroid Build Coastguard Worker}
250*4dc78e53SAndroid Build Coastguard Workerol.upperalpha {
251*4dc78e53SAndroid Build Coastguard Worker  list-style-type: upper-alpha;
252*4dc78e53SAndroid Build Coastguard Worker}
253*4dc78e53SAndroid Build Coastguard Workerol.lowerroman {
254*4dc78e53SAndroid Build Coastguard Worker  list-style-type: lower-roman;
255*4dc78e53SAndroid Build Coastguard Worker}
256*4dc78e53SAndroid Build Coastguard Workerol.upperroman {
257*4dc78e53SAndroid Build Coastguard Worker  list-style-type: upper-roman;
258*4dc78e53SAndroid Build Coastguard Worker}
259*4dc78e53SAndroid Build Coastguard Worker
260*4dc78e53SAndroid Build Coastguard Workerdiv.compact ul, div.compact ol,
261*4dc78e53SAndroid Build Coastguard Workerdiv.compact p, div.compact p,
262*4dc78e53SAndroid Build Coastguard Workerdiv.compact div, div.compact div {
263*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.1em;
264*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.1em;
265*4dc78e53SAndroid Build Coastguard Worker}
266*4dc78e53SAndroid Build Coastguard Worker
267*4dc78e53SAndroid Build Coastguard Workertfoot {
268*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
269*4dc78e53SAndroid Build Coastguard Worker}
270*4dc78e53SAndroid Build Coastguard Workertd > div.verse {
271*4dc78e53SAndroid Build Coastguard Worker  white-space: pre;
272*4dc78e53SAndroid Build Coastguard Worker}
273*4dc78e53SAndroid Build Coastguard Worker
274*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist {
275*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.8em;
276*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.8em;
277*4dc78e53SAndroid Build Coastguard Worker}
278*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist tr {
279*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 15px;
280*4dc78e53SAndroid Build Coastguard Worker}
281*4dc78e53SAndroid Build Coastguard Workerdt.hdlist1.strong, td.hdlist1.strong {
282*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
283*4dc78e53SAndroid Build Coastguard Worker}
284*4dc78e53SAndroid Build Coastguard Workertd.hdlist1 {
285*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
286*4dc78e53SAndroid Build Coastguard Worker  font-style: normal;
287*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.8em;
288*4dc78e53SAndroid Build Coastguard Worker  /* color: navy; */
289*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
290*4dc78e53SAndroid Build Coastguard Worker}
291*4dc78e53SAndroid Build Coastguard Workertd.hdlist2 {
292*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
293*4dc78e53SAndroid Build Coastguard Worker}
294*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist.compact tr {
295*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
296*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0;
297*4dc78e53SAndroid Build Coastguard Worker}
298*4dc78e53SAndroid Build Coastguard Worker
299*4dc78e53SAndroid Build Coastguard Worker.comment {
300*4dc78e53SAndroid Build Coastguard Worker  background: yellow;
301*4dc78e53SAndroid Build Coastguard Worker}
302*4dc78e53SAndroid Build Coastguard Worker
303*4dc78e53SAndroid Build Coastguard Worker.footnote, .footnoteref {
304*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.8em;
305*4dc78e53SAndroid Build Coastguard Worker}
306*4dc78e53SAndroid Build Coastguard Worker
307*4dc78e53SAndroid Build Coastguard Workerspan.footnote, span.footnoteref {
308*4dc78e53SAndroid Build Coastguard Worker  vertical-align: super;
309*4dc78e53SAndroid Build Coastguard Worker}
310*4dc78e53SAndroid Build Coastguard Worker
311*4dc78e53SAndroid Build Coastguard Worker#footnotes {
312*4dc78e53SAndroid Build Coastguard Worker  margin: 20px 0 20px 0;
313*4dc78e53SAndroid Build Coastguard Worker  padding: 7px 0 0 0;
314*4dc78e53SAndroid Build Coastguard Worker}
315*4dc78e53SAndroid Build Coastguard Worker
316*4dc78e53SAndroid Build Coastguard Worker#footnotes div.footnote {
317*4dc78e53SAndroid Build Coastguard Worker  margin: 0 0 5px 0;
318*4dc78e53SAndroid Build Coastguard Worker}
319*4dc78e53SAndroid Build Coastguard Worker
320*4dc78e53SAndroid Build Coastguard Worker#footnotes hr {
321*4dc78e53SAndroid Build Coastguard Worker  border: none;
322*4dc78e53SAndroid Build Coastguard Worker  border-top: 1px solid silver;
323*4dc78e53SAndroid Build Coastguard Worker  height: 1px;
324*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
325*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0;
326*4dc78e53SAndroid Build Coastguard Worker  width: 20%;
327*4dc78e53SAndroid Build Coastguard Worker  min-width: 100px;
328*4dc78e53SAndroid Build Coastguard Worker}
329*4dc78e53SAndroid Build Coastguard Worker
330*4dc78e53SAndroid Build Coastguard Workerdiv.colist td {
331*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.5em;
332*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.3em;
333*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
334*4dc78e53SAndroid Build Coastguard Worker}
335*4dc78e53SAndroid Build Coastguard Workerdiv.colist td img {
336*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.3em;
337*4dc78e53SAndroid Build Coastguard Worker}
338*4dc78e53SAndroid Build Coastguard Worker
339*4dc78e53SAndroid Build Coastguard Worker@media print {
340*4dc78e53SAndroid Build Coastguard Worker  #footer-badges { display: none; }
341*4dc78e53SAndroid Build Coastguard Worker}
342*4dc78e53SAndroid Build Coastguard Worker
343*4dc78e53SAndroid Build Coastguard Worker#toc {
344*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 2.5em;
345*4dc78e53SAndroid Build Coastguard Worker}
346*4dc78e53SAndroid Build Coastguard Worker
347*4dc78e53SAndroid Build Coastguard Worker#toctitle {
348*4dc78e53SAndroid Build Coastguard Worker  /* color: #527bbd; */
349*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
350*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
351*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
352*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
353*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.1em;
354*4dc78e53SAndroid Build Coastguard Worker}
355*4dc78e53SAndroid Build Coastguard Worker
356*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
357*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
358*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
359*4dc78e53SAndroid Build Coastguard Worker}
360*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel2 {
361*4dc78e53SAndroid Build Coastguard Worker  margin-left: 2em;
362*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
363*4dc78e53SAndroid Build Coastguard Worker}
364*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel3 {
365*4dc78e53SAndroid Build Coastguard Worker  margin-left: 4em;
366*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
367*4dc78e53SAndroid Build Coastguard Worker}
368*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel4 {
369*4dc78e53SAndroid Build Coastguard Worker  margin-left: 6em;
370*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
371*4dc78e53SAndroid Build Coastguard Worker}
372*4dc78e53SAndroid Build Coastguard Worker
373*4dc78e53SAndroid Build Coastguard Workerspan.aqua { color: aqua; }
374*4dc78e53SAndroid Build Coastguard Workerspan.black { color: black; }
375*4dc78e53SAndroid Build Coastguard Workerspan.blue { color: blue; }
376*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia { color: fuchsia; }
377*4dc78e53SAndroid Build Coastguard Workerspan.gray { color: gray; }
378*4dc78e53SAndroid Build Coastguard Workerspan.green { color: green; }
379*4dc78e53SAndroid Build Coastguard Workerspan.lime { color: lime; }
380*4dc78e53SAndroid Build Coastguard Workerspan.maroon { color: maroon; }
381*4dc78e53SAndroid Build Coastguard Workerspan.navy { color: navy; }
382*4dc78e53SAndroid Build Coastguard Workerspan.olive { color: olive; }
383*4dc78e53SAndroid Build Coastguard Workerspan.purple { color: purple; }
384*4dc78e53SAndroid Build Coastguard Workerspan.red { color: red; }
385*4dc78e53SAndroid Build Coastguard Workerspan.silver { color: silver; }
386*4dc78e53SAndroid Build Coastguard Workerspan.teal { color: teal; }
387*4dc78e53SAndroid Build Coastguard Workerspan.white { color: white; }
388*4dc78e53SAndroid Build Coastguard Workerspan.yellow { color: yellow; }
389*4dc78e53SAndroid Build Coastguard Worker
390*4dc78e53SAndroid Build Coastguard Workerspan.aqua-background { background: aqua; }
391*4dc78e53SAndroid Build Coastguard Workerspan.black-background { background: black; }
392*4dc78e53SAndroid Build Coastguard Workerspan.blue-background { background: blue; }
393*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia-background { background: fuchsia; }
394*4dc78e53SAndroid Build Coastguard Workerspan.gray-background { background: gray; }
395*4dc78e53SAndroid Build Coastguard Workerspan.green-background { background: green; }
396*4dc78e53SAndroid Build Coastguard Workerspan.lime-background { background: lime; }
397*4dc78e53SAndroid Build Coastguard Workerspan.maroon-background { background: maroon; }
398*4dc78e53SAndroid Build Coastguard Workerspan.navy-background { background: navy; }
399*4dc78e53SAndroid Build Coastguard Workerspan.olive-background { background: olive; }
400*4dc78e53SAndroid Build Coastguard Workerspan.purple-background { background: purple; }
401*4dc78e53SAndroid Build Coastguard Workerspan.red-background { background: red; }
402*4dc78e53SAndroid Build Coastguard Workerspan.silver-background { background: silver; }
403*4dc78e53SAndroid Build Coastguard Workerspan.teal-background { background: teal; }
404*4dc78e53SAndroid Build Coastguard Workerspan.white-background { background: white; }
405*4dc78e53SAndroid Build Coastguard Workerspan.yellow-background { background: yellow; }
406*4dc78e53SAndroid Build Coastguard Worker
407*4dc78e53SAndroid Build Coastguard Workerspan.big { font-size: 2em; }
408*4dc78e53SAndroid Build Coastguard Workerspan.small { font-size: 0.6em; }
409*4dc78e53SAndroid Build Coastguard Worker
410*4dc78e53SAndroid Build Coastguard Workerspan.underline { text-decoration: underline; }
411*4dc78e53SAndroid Build Coastguard Workerspan.overline { text-decoration: overline; }
412*4dc78e53SAndroid Build Coastguard Workerspan.line-through { text-decoration: line-through; }
413*4dc78e53SAndroid Build Coastguard Worker
414*4dc78e53SAndroid Build Coastguard Worker
415*4dc78e53SAndroid Build Coastguard Worker/*
416*4dc78e53SAndroid Build Coastguard Worker * xhtml11 specific
417*4dc78e53SAndroid Build Coastguard Worker *
418*4dc78e53SAndroid Build Coastguard Worker * */
419*4dc78e53SAndroid Build Coastguard Worker
420*4dc78e53SAndroid Build Coastguard Workertt {
421*4dc78e53SAndroid Build Coastguard Worker  font-family: monospace;
422*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
423*4dc78e53SAndroid Build Coastguard Worker  /* color: navy; */
424*4dc78e53SAndroid Build Coastguard Worker  color: black;
425*4dc78e53SAndroid Build Coastguard Worker}
426*4dc78e53SAndroid Build Coastguard Worker
427*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock {
428*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
429*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
430*4dc78e53SAndroid Build Coastguard Worker}
431*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table {
432*4dc78e53SAndroid Build Coastguard Worker  /* border: 3px solid #527bbd; */
433*4dc78e53SAndroid Build Coastguard Worker  border: 2px solid #990000;
434*4dc78e53SAndroid Build Coastguard Worker}
435*4dc78e53SAndroid Build Coastguard Workerthead, p.table.header {
436*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
437*4dc78e53SAndroid Build Coastguard Worker  /* color: #527bbd; */
438*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
439*4dc78e53SAndroid Build Coastguard Worker}
440*4dc78e53SAndroid Build Coastguard Workerp.table {
441*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
442*4dc78e53SAndroid Build Coastguard Worker}
443*4dc78e53SAndroid Build Coastguard Worker/* Because the table frame attribute is overriden by CSS in most browsers. */
444*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="void"] {
445*4dc78e53SAndroid Build Coastguard Worker  border-style: none;
446*4dc78e53SAndroid Build Coastguard Worker}
447*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="hsides"] {
448*4dc78e53SAndroid Build Coastguard Worker  border-left-style: none;
449*4dc78e53SAndroid Build Coastguard Worker  border-right-style: none;
450*4dc78e53SAndroid Build Coastguard Worker}
451*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="vsides"] {
452*4dc78e53SAndroid Build Coastguard Worker  border-top-style: none;
453*4dc78e53SAndroid Build Coastguard Worker  border-bottom-style: none;
454*4dc78e53SAndroid Build Coastguard Worker}
455*4dc78e53SAndroid Build Coastguard Worker
456*4dc78e53SAndroid Build Coastguard Worker
457*4dc78e53SAndroid Build Coastguard Worker/*
458*4dc78e53SAndroid Build Coastguard Worker * html5 specific
459*4dc78e53SAndroid Build Coastguard Worker *
460*4dc78e53SAndroid Build Coastguard Worker * */
461*4dc78e53SAndroid Build Coastguard Worker
462*4dc78e53SAndroid Build Coastguard Worker.monospaced {
463*4dc78e53SAndroid Build Coastguard Worker  font-family: monospace;
464*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
465*4dc78e53SAndroid Build Coastguard Worker  color: navy;
466*4dc78e53SAndroid Build Coastguard Worker}
467*4dc78e53SAndroid Build Coastguard Worker
468*4dc78e53SAndroid Build Coastguard Workertable.tableblock {
469*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
470*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
471*4dc78e53SAndroid Build Coastguard Worker}
472*4dc78e53SAndroid Build Coastguard Workerthead, p.tableblock.header {
473*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
474*4dc78e53SAndroid Build Coastguard Worker  /* color: #527bbd; */
475*4dc78e53SAndroid Build Coastguard Worker  color: #990000;
476*4dc78e53SAndroid Build Coastguard Worker}
477*4dc78e53SAndroid Build Coastguard Workerp.tableblock {
478*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
479*4dc78e53SAndroid Build Coastguard Worker}
480*4dc78e53SAndroid Build Coastguard Workertable.tableblock {
481*4dc78e53SAndroid Build Coastguard Worker  border-width: 3px;
482*4dc78e53SAndroid Build Coastguard Worker  border-spacing: 0px;
483*4dc78e53SAndroid Build Coastguard Worker  border-style: solid;
484*4dc78e53SAndroid Build Coastguard Worker  /* border-color: #527bbd; */
485*4dc78e53SAndroid Build Coastguard Worker  border-color: #990000;
486*4dc78e53SAndroid Build Coastguard Worker  border-collapse: collapse;
487*4dc78e53SAndroid Build Coastguard Worker}
488*4dc78e53SAndroid Build Coastguard Workerth.tableblock, td.tableblock {
489*4dc78e53SAndroid Build Coastguard Worker  border-width: 1px;
490*4dc78e53SAndroid Build Coastguard Worker  padding: 4px;
491*4dc78e53SAndroid Build Coastguard Worker  border-style: solid;
492*4dc78e53SAndroid Build Coastguard Worker  /* border-color: #527bbd; */
493*4dc78e53SAndroid Build Coastguard Worker  border-color: #990000;
494*4dc78e53SAndroid Build Coastguard Worker}
495*4dc78e53SAndroid Build Coastguard Worker
496*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-topbot {
497*4dc78e53SAndroid Build Coastguard Worker  border-left-style: hidden;
498*4dc78e53SAndroid Build Coastguard Worker  border-right-style: hidden;
499*4dc78e53SAndroid Build Coastguard Worker}
500*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-sides {
501*4dc78e53SAndroid Build Coastguard Worker  border-top-style: hidden;
502*4dc78e53SAndroid Build Coastguard Worker  border-bottom-style: hidden;
503*4dc78e53SAndroid Build Coastguard Worker}
504*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-none {
505*4dc78e53SAndroid Build Coastguard Worker  border-style: hidden;
506*4dc78e53SAndroid Build Coastguard Worker}
507*4dc78e53SAndroid Build Coastguard Worker
508*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-left, td.tableblock.halign-left {
509*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
510*4dc78e53SAndroid Build Coastguard Worker}
511*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-center, td.tableblock.halign-center {
512*4dc78e53SAndroid Build Coastguard Worker  text-align: center;
513*4dc78e53SAndroid Build Coastguard Worker}
514*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-right, td.tableblock.halign-right {
515*4dc78e53SAndroid Build Coastguard Worker  text-align: right;
516*4dc78e53SAndroid Build Coastguard Worker}
517*4dc78e53SAndroid Build Coastguard Worker
518*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-top, td.tableblock.valign-top {
519*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
520*4dc78e53SAndroid Build Coastguard Worker}
521*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-middle, td.tableblock.valign-middle {
522*4dc78e53SAndroid Build Coastguard Worker  vertical-align: middle;
523*4dc78e53SAndroid Build Coastguard Worker}
524*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-bottom, td.tableblock.valign-bottom {
525*4dc78e53SAndroid Build Coastguard Worker  vertical-align: bottom;
526*4dc78e53SAndroid Build Coastguard Worker}
527