xref: /aosp_15_r20/external/libnl/doc/stylesheets/flask.css (revision 4dc78e53d49367fa8e61b07018507c90983a077d)
1*4dc78e53SAndroid Build Coastguard Worker/*
2*4dc78e53SAndroid Build Coastguard Worker * AsciiDoc 'flask' theme for xhtml11 and html5 backends. A shameless knock-off
3*4dc78e53SAndroid Build Coastguard Worker * of the Flask website styling (http://flask.pocoo.org/docs/).
4*4dc78e53SAndroid Build Coastguard Worker *
5*4dc78e53SAndroid Build Coastguard Worker * The implementation is straight-forward, consisting of the asciidoc.css file
6*4dc78e53SAndroid Build Coastguard Worker * followed by theme specific overrides.
7*4dc78e53SAndroid Build Coastguard Worker *
8*4dc78e53SAndroid Build Coastguard Worker * */
9*4dc78e53SAndroid Build Coastguard Worker
10*4dc78e53SAndroid Build Coastguard Worker
11*4dc78e53SAndroid Build Coastguard Worker/* Shared CSS for AsciiDoc xhtml11 and html5 backends */
12*4dc78e53SAndroid Build Coastguard Worker
13*4dc78e53SAndroid Build Coastguard Worker/* Default font. */
14*4dc78e53SAndroid Build Coastguard Workerbody {
15*4dc78e53SAndroid Build Coastguard Worker  font-family: Georgia,serif;
16*4dc78e53SAndroid Build Coastguard Worker}
17*4dc78e53SAndroid Build Coastguard Worker
18*4dc78e53SAndroid Build Coastguard Worker/* Title font. */
19*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6,
20*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title,
21*4dc78e53SAndroid Build Coastguard Workerthead, p.table.header,
22*4dc78e53SAndroid Build Coastguard Worker#toctitle,
23*4dc78e53SAndroid Build Coastguard Worker#author, #revnumber, #revdate, #revremark,
24*4dc78e53SAndroid Build Coastguard Worker#footer {
25*4dc78e53SAndroid Build Coastguard Worker  font-family: Arial,Helvetica,sans-serif;
26*4dc78e53SAndroid Build Coastguard Worker}
27*4dc78e53SAndroid Build Coastguard Worker
28*4dc78e53SAndroid Build Coastguard Workerbody {
29*4dc78e53SAndroid Build Coastguard Worker  margin: 1em 5% 1em 5%;
30*4dc78e53SAndroid Build Coastguard Worker}
31*4dc78e53SAndroid Build Coastguard Worker
32*4dc78e53SAndroid Build Coastguard Workera {
33*4dc78e53SAndroid Build Coastguard Worker  color: blue;
34*4dc78e53SAndroid Build Coastguard Worker  text-decoration: underline;
35*4dc78e53SAndroid Build Coastguard Worker}
36*4dc78e53SAndroid Build Coastguard Workera:visited {
37*4dc78e53SAndroid Build Coastguard Worker  color: fuchsia;
38*4dc78e53SAndroid Build Coastguard Worker}
39*4dc78e53SAndroid Build Coastguard Worker
40*4dc78e53SAndroid Build Coastguard Workerem {
41*4dc78e53SAndroid Build Coastguard Worker  font-style: italic;
42*4dc78e53SAndroid Build Coastguard Worker  color: navy;
43*4dc78e53SAndroid Build Coastguard Worker}
44*4dc78e53SAndroid Build Coastguard Worker
45*4dc78e53SAndroid Build Coastguard Workerstrong {
46*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
47*4dc78e53SAndroid Build Coastguard Worker  color: #083194;
48*4dc78e53SAndroid Build Coastguard Worker}
49*4dc78e53SAndroid Build Coastguard Worker
50*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6 {
51*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
52*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.2em;
53*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
54*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
55*4dc78e53SAndroid Build Coastguard Worker}
56*4dc78e53SAndroid Build Coastguard Worker
57*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3 {
58*4dc78e53SAndroid Build Coastguard Worker  border-bottom: 2px solid silver;
59*4dc78e53SAndroid Build Coastguard Worker}
60*4dc78e53SAndroid Build Coastguard Workerh2 {
61*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
62*4dc78e53SAndroid Build Coastguard Worker}
63*4dc78e53SAndroid Build Coastguard Workerh3 {
64*4dc78e53SAndroid Build Coastguard Worker  float: left;
65*4dc78e53SAndroid Build Coastguard Worker}
66*4dc78e53SAndroid Build Coastguard Workerh3 + * {
67*4dc78e53SAndroid Build Coastguard Worker  clear: left;
68*4dc78e53SAndroid Build Coastguard Worker}
69*4dc78e53SAndroid Build Coastguard Workerh5 {
70*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.0em;
71*4dc78e53SAndroid Build Coastguard Worker}
72*4dc78e53SAndroid Build Coastguard Worker
73*4dc78e53SAndroid Build Coastguard Workerdiv.sectionbody {
74*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0;
75*4dc78e53SAndroid Build Coastguard Worker}
76*4dc78e53SAndroid Build Coastguard Worker
77*4dc78e53SAndroid Build Coastguard Workerhr {
78*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
79*4dc78e53SAndroid Build Coastguard Worker}
80*4dc78e53SAndroid Build Coastguard Worker
81*4dc78e53SAndroid Build Coastguard Workerp {
82*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
83*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
84*4dc78e53SAndroid Build Coastguard Worker}
85*4dc78e53SAndroid Build Coastguard Worker
86*4dc78e53SAndroid Build Coastguard Workerul, ol, li > p {
87*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
88*4dc78e53SAndroid Build Coastguard Worker}
89*4dc78e53SAndroid Build Coastguard Workerul > li     { color: #aaa; }
90*4dc78e53SAndroid Build Coastguard Workerul > li > * { color: black; }
91*4dc78e53SAndroid Build Coastguard Worker
92*4dc78e53SAndroid Build Coastguard Workerpre {
93*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
94*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
95*4dc78e53SAndroid Build Coastguard Worker}
96*4dc78e53SAndroid Build Coastguard Worker
97*4dc78e53SAndroid Build Coastguard Worker#author {
98*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
99*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
100*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
101*4dc78e53SAndroid Build Coastguard Worker}
102*4dc78e53SAndroid Build Coastguard Worker#email {
103*4dc78e53SAndroid Build Coastguard Worker}
104*4dc78e53SAndroid Build Coastguard Worker#revnumber, #revdate, #revremark {
105*4dc78e53SAndroid Build Coastguard Worker}
106*4dc78e53SAndroid Build Coastguard Worker
107*4dc78e53SAndroid Build Coastguard Worker#footer {
108*4dc78e53SAndroid Build Coastguard Worker  font-size: small;
109*4dc78e53SAndroid Build Coastguard Worker  border-top: 2px solid silver;
110*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
111*4dc78e53SAndroid Build Coastguard Worker  margin-top: 4.0em;
112*4dc78e53SAndroid Build Coastguard Worker}
113*4dc78e53SAndroid Build Coastguard Worker#footer-text {
114*4dc78e53SAndroid Build Coastguard Worker  float: left;
115*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
116*4dc78e53SAndroid Build Coastguard Worker}
117*4dc78e53SAndroid Build Coastguard Worker#footer-badges {
118*4dc78e53SAndroid Build Coastguard Worker  float: right;
119*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
120*4dc78e53SAndroid Build Coastguard Worker}
121*4dc78e53SAndroid Build Coastguard Worker
122*4dc78e53SAndroid Build Coastguard Worker#preamble {
123*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.5em;
124*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
125*4dc78e53SAndroid Build Coastguard Worker}
126*4dc78e53SAndroid Build Coastguard Workerdiv.imageblock, div.exampleblock, div.verseblock,
127*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
128*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
129*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
130*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
131*4dc78e53SAndroid Build Coastguard Worker}
132*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
133*4dc78e53SAndroid Build Coastguard Worker  margin-top: 2.0em;
134*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 2.0em;
135*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
136*4dc78e53SAndroid Build Coastguard Worker  color: #606060;
137*4dc78e53SAndroid Build Coastguard Worker}
138*4dc78e53SAndroid Build Coastguard Worker
139*4dc78e53SAndroid Build Coastguard Workerdiv.content { /* Block element content. */
140*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
141*4dc78e53SAndroid Build Coastguard Worker}
142*4dc78e53SAndroid Build Coastguard Worker
143*4dc78e53SAndroid Build Coastguard Worker/* Block element titles. */
144*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title {
145*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
146*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
147*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
148*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
149*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
150*4dc78e53SAndroid Build Coastguard Worker}
151*4dc78e53SAndroid Build Coastguard Workerdiv.title + * {
152*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
153*4dc78e53SAndroid Build Coastguard Worker}
154*4dc78e53SAndroid Build Coastguard Worker
155*4dc78e53SAndroid Build Coastguard Workertd div.title:first-child {
156*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
157*4dc78e53SAndroid Build Coastguard Worker}
158*4dc78e53SAndroid Build Coastguard Workerdiv.content div.title:first-child {
159*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
160*4dc78e53SAndroid Build Coastguard Worker}
161*4dc78e53SAndroid Build Coastguard Workerdiv.content + div.title {
162*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
163*4dc78e53SAndroid Build Coastguard Worker}
164*4dc78e53SAndroid Build Coastguard Worker
165*4dc78e53SAndroid Build Coastguard Workerdiv.sidebarblock > div.content {
166*4dc78e53SAndroid Build Coastguard Worker  background: #ffffee;
167*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid #dddddd;
168*4dc78e53SAndroid Build Coastguard Worker  border-left: 4px solid #f0f0f0;
169*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
170*4dc78e53SAndroid Build Coastguard Worker}
171*4dc78e53SAndroid Build Coastguard Worker
172*4dc78e53SAndroid Build Coastguard Workerdiv.listingblock > div.content {
173*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid #dddddd;
174*4dc78e53SAndroid Build Coastguard Worker  border-left: 5px solid #f0f0f0;
175*4dc78e53SAndroid Build Coastguard Worker  background: #f8f8f8;
176*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
177*4dc78e53SAndroid Build Coastguard Worker}
178*4dc78e53SAndroid Build Coastguard Worker
179*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock, div.verseblock {
180*4dc78e53SAndroid Build Coastguard Worker  padding-left: 1.0em;
181*4dc78e53SAndroid Build Coastguard Worker  margin-left: 1.0em;
182*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
183*4dc78e53SAndroid Build Coastguard Worker  border-left: 5px solid #f0f0f0;
184*4dc78e53SAndroid Build Coastguard Worker  color: #777777;
185*4dc78e53SAndroid Build Coastguard Worker}
186*4dc78e53SAndroid Build Coastguard Worker
187*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock > div.attribution {
188*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
189*4dc78e53SAndroid Build Coastguard Worker  text-align: right;
190*4dc78e53SAndroid Build Coastguard Worker}
191*4dc78e53SAndroid Build Coastguard Worker
192*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > pre.content {
193*4dc78e53SAndroid Build Coastguard Worker  font-family: inherit;
194*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
195*4dc78e53SAndroid Build Coastguard Worker}
196*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > div.attribution {
197*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.75em;
198*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
199*4dc78e53SAndroid Build Coastguard Worker}
200*4dc78e53SAndroid Build Coastguard Worker/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
201*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock + div.attribution {
202*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
203*4dc78e53SAndroid Build Coastguard Worker}
204*4dc78e53SAndroid Build Coastguard Worker
205*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock .icon {
206*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
207*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
208*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
209*4dc78e53SAndroid Build Coastguard Worker  text-decoration: underline;
210*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
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}
290*4dc78e53SAndroid Build Coastguard Workertd.hdlist2 {
291*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
292*4dc78e53SAndroid Build Coastguard Worker}
293*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist.compact tr {
294*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
295*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0;
296*4dc78e53SAndroid Build Coastguard Worker}
297*4dc78e53SAndroid Build Coastguard Worker
298*4dc78e53SAndroid Build Coastguard Worker.comment {
299*4dc78e53SAndroid Build Coastguard Worker  background: yellow;
300*4dc78e53SAndroid Build Coastguard Worker}
301*4dc78e53SAndroid Build Coastguard Worker
302*4dc78e53SAndroid Build Coastguard Worker.footnote, .footnoteref {
303*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.8em;
304*4dc78e53SAndroid Build Coastguard Worker}
305*4dc78e53SAndroid Build Coastguard Worker
306*4dc78e53SAndroid Build Coastguard Workerspan.footnote, span.footnoteref {
307*4dc78e53SAndroid Build Coastguard Worker  vertical-align: super;
308*4dc78e53SAndroid Build Coastguard Worker}
309*4dc78e53SAndroid Build Coastguard Worker
310*4dc78e53SAndroid Build Coastguard Worker#footnotes {
311*4dc78e53SAndroid Build Coastguard Worker  margin: 20px 0 20px 0;
312*4dc78e53SAndroid Build Coastguard Worker  padding: 7px 0 0 0;
313*4dc78e53SAndroid Build Coastguard Worker}
314*4dc78e53SAndroid Build Coastguard Worker
315*4dc78e53SAndroid Build Coastguard Worker#footnotes div.footnote {
316*4dc78e53SAndroid Build Coastguard Worker  margin: 0 0 5px 0;
317*4dc78e53SAndroid Build Coastguard Worker}
318*4dc78e53SAndroid Build Coastguard Worker
319*4dc78e53SAndroid Build Coastguard Worker#footnotes hr {
320*4dc78e53SAndroid Build Coastguard Worker  border: none;
321*4dc78e53SAndroid Build Coastguard Worker  border-top: 1px solid silver;
322*4dc78e53SAndroid Build Coastguard Worker  height: 1px;
323*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
324*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0;
325*4dc78e53SAndroid Build Coastguard Worker  width: 20%;
326*4dc78e53SAndroid Build Coastguard Worker  min-width: 100px;
327*4dc78e53SAndroid Build Coastguard Worker}
328*4dc78e53SAndroid Build Coastguard Worker
329*4dc78e53SAndroid Build Coastguard Workerdiv.colist td {
330*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.5em;
331*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.3em;
332*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
333*4dc78e53SAndroid Build Coastguard Worker}
334*4dc78e53SAndroid Build Coastguard Workerdiv.colist td img {
335*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.3em;
336*4dc78e53SAndroid Build Coastguard Worker}
337*4dc78e53SAndroid Build Coastguard Worker
338*4dc78e53SAndroid Build Coastguard Worker@media print {
339*4dc78e53SAndroid Build Coastguard Worker  #footer-badges { display: none; }
340*4dc78e53SAndroid Build Coastguard Worker}
341*4dc78e53SAndroid Build Coastguard Worker
342*4dc78e53SAndroid Build Coastguard Worker#toc {
343*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 2.5em;
344*4dc78e53SAndroid Build Coastguard Worker}
345*4dc78e53SAndroid Build Coastguard Worker
346*4dc78e53SAndroid Build Coastguard Worker#toctitle {
347*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
348*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
349*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
350*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
351*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.1em;
352*4dc78e53SAndroid Build Coastguard Worker}
353*4dc78e53SAndroid Build Coastguard Worker
354*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
355*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
356*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
357*4dc78e53SAndroid Build Coastguard Worker}
358*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel2 {
359*4dc78e53SAndroid Build Coastguard Worker  margin-left: 2em;
360*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
361*4dc78e53SAndroid Build Coastguard Worker}
362*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel3 {
363*4dc78e53SAndroid Build Coastguard Worker  margin-left: 4em;
364*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
365*4dc78e53SAndroid Build Coastguard Worker}
366*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel4 {
367*4dc78e53SAndroid Build Coastguard Worker  margin-left: 6em;
368*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
369*4dc78e53SAndroid Build Coastguard Worker}
370*4dc78e53SAndroid Build Coastguard Worker
371*4dc78e53SAndroid Build Coastguard Workerspan.aqua { color: aqua; }
372*4dc78e53SAndroid Build Coastguard Workerspan.black { color: black; }
373*4dc78e53SAndroid Build Coastguard Workerspan.blue { color: blue; }
374*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia { color: fuchsia; }
375*4dc78e53SAndroid Build Coastguard Workerspan.gray { color: gray; }
376*4dc78e53SAndroid Build Coastguard Workerspan.green { color: green; }
377*4dc78e53SAndroid Build Coastguard Workerspan.lime { color: lime; }
378*4dc78e53SAndroid Build Coastguard Workerspan.maroon { color: maroon; }
379*4dc78e53SAndroid Build Coastguard Workerspan.navy { color: navy; }
380*4dc78e53SAndroid Build Coastguard Workerspan.olive { color: olive; }
381*4dc78e53SAndroid Build Coastguard Workerspan.purple { color: purple; }
382*4dc78e53SAndroid Build Coastguard Workerspan.red { color: red; }
383*4dc78e53SAndroid Build Coastguard Workerspan.silver { color: silver; }
384*4dc78e53SAndroid Build Coastguard Workerspan.teal { color: teal; }
385*4dc78e53SAndroid Build Coastguard Workerspan.white { color: white; }
386*4dc78e53SAndroid Build Coastguard Workerspan.yellow { color: yellow; }
387*4dc78e53SAndroid Build Coastguard Worker
388*4dc78e53SAndroid Build Coastguard Workerspan.aqua-background { background: aqua; }
389*4dc78e53SAndroid Build Coastguard Workerspan.black-background { background: black; }
390*4dc78e53SAndroid Build Coastguard Workerspan.blue-background { background: blue; }
391*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia-background { background: fuchsia; }
392*4dc78e53SAndroid Build Coastguard Workerspan.gray-background { background: gray; }
393*4dc78e53SAndroid Build Coastguard Workerspan.green-background { background: green; }
394*4dc78e53SAndroid Build Coastguard Workerspan.lime-background { background: lime; }
395*4dc78e53SAndroid Build Coastguard Workerspan.maroon-background { background: maroon; }
396*4dc78e53SAndroid Build Coastguard Workerspan.navy-background { background: navy; }
397*4dc78e53SAndroid Build Coastguard Workerspan.olive-background { background: olive; }
398*4dc78e53SAndroid Build Coastguard Workerspan.purple-background { background: purple; }
399*4dc78e53SAndroid Build Coastguard Workerspan.red-background { background: red; }
400*4dc78e53SAndroid Build Coastguard Workerspan.silver-background { background: silver; }
401*4dc78e53SAndroid Build Coastguard Workerspan.teal-background { background: teal; }
402*4dc78e53SAndroid Build Coastguard Workerspan.white-background { background: white; }
403*4dc78e53SAndroid Build Coastguard Workerspan.yellow-background { background: yellow; }
404*4dc78e53SAndroid Build Coastguard Worker
405*4dc78e53SAndroid Build Coastguard Workerspan.big { font-size: 2em; }
406*4dc78e53SAndroid Build Coastguard Workerspan.small { font-size: 0.6em; }
407*4dc78e53SAndroid Build Coastguard Worker
408*4dc78e53SAndroid Build Coastguard Workerspan.underline { text-decoration: underline; }
409*4dc78e53SAndroid Build Coastguard Workerspan.overline { text-decoration: overline; }
410*4dc78e53SAndroid Build Coastguard Workerspan.line-through { text-decoration: line-through; }
411*4dc78e53SAndroid Build Coastguard Worker
412*4dc78e53SAndroid Build Coastguard Worker
413*4dc78e53SAndroid Build Coastguard Worker/*
414*4dc78e53SAndroid Build Coastguard Worker * xhtml11 specific
415*4dc78e53SAndroid Build Coastguard Worker *
416*4dc78e53SAndroid Build Coastguard Worker * */
417*4dc78e53SAndroid Build Coastguard Worker
418*4dc78e53SAndroid Build Coastguard Workertt {
419*4dc78e53SAndroid Build Coastguard Worker  font-family: monospace;
420*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
421*4dc78e53SAndroid Build Coastguard Worker  color: navy;
422*4dc78e53SAndroid Build Coastguard Worker}
423*4dc78e53SAndroid Build Coastguard Worker
424*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock {
425*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
426*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
427*4dc78e53SAndroid Build Coastguard Worker}
428*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table {
429*4dc78e53SAndroid Build Coastguard Worker  border: 3px solid #527bbd;
430*4dc78e53SAndroid Build Coastguard Worker}
431*4dc78e53SAndroid Build Coastguard Workerthead, p.table.header {
432*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
433*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
434*4dc78e53SAndroid Build Coastguard Worker}
435*4dc78e53SAndroid Build Coastguard Workerp.table {
436*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
437*4dc78e53SAndroid Build Coastguard Worker}
438*4dc78e53SAndroid Build Coastguard Worker/* Because the table frame attribute is overriden by CSS in most browsers. */
439*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="void"] {
440*4dc78e53SAndroid Build Coastguard Worker  border-style: none;
441*4dc78e53SAndroid Build Coastguard Worker}
442*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="hsides"] {
443*4dc78e53SAndroid Build Coastguard Worker  border-left-style: none;
444*4dc78e53SAndroid Build Coastguard Worker  border-right-style: none;
445*4dc78e53SAndroid Build Coastguard Worker}
446*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="vsides"] {
447*4dc78e53SAndroid Build Coastguard Worker  border-top-style: none;
448*4dc78e53SAndroid Build Coastguard Worker  border-bottom-style: none;
449*4dc78e53SAndroid Build Coastguard Worker}
450*4dc78e53SAndroid Build Coastguard Worker
451*4dc78e53SAndroid Build Coastguard Worker
452*4dc78e53SAndroid Build Coastguard Worker/*
453*4dc78e53SAndroid Build Coastguard Worker * html5 specific
454*4dc78e53SAndroid Build Coastguard Worker *
455*4dc78e53SAndroid Build Coastguard Worker * */
456*4dc78e53SAndroid Build Coastguard Worker
457*4dc78e53SAndroid Build Coastguard Worker.monospaced {
458*4dc78e53SAndroid Build Coastguard Worker  font-family: monospace;
459*4dc78e53SAndroid Build Coastguard Worker  font-size: inherit;
460*4dc78e53SAndroid Build Coastguard Worker  color: navy;
461*4dc78e53SAndroid Build Coastguard Worker}
462*4dc78e53SAndroid Build Coastguard Worker
463*4dc78e53SAndroid Build Coastguard Workertable.tableblock {
464*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
465*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
466*4dc78e53SAndroid Build Coastguard Worker}
467*4dc78e53SAndroid Build Coastguard Workerthead, p.tableblock.header {
468*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
469*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
470*4dc78e53SAndroid Build Coastguard Worker}
471*4dc78e53SAndroid Build Coastguard Workerp.tableblock {
472*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
473*4dc78e53SAndroid Build Coastguard Worker}
474*4dc78e53SAndroid Build Coastguard Workertable.tableblock {
475*4dc78e53SAndroid Build Coastguard Worker  border-width: 3px;
476*4dc78e53SAndroid Build Coastguard Worker  border-spacing: 0px;
477*4dc78e53SAndroid Build Coastguard Worker  border-style: solid;
478*4dc78e53SAndroid Build Coastguard Worker  border-color: #527bbd;
479*4dc78e53SAndroid Build Coastguard Worker  border-collapse: collapse;
480*4dc78e53SAndroid Build Coastguard Worker}
481*4dc78e53SAndroid Build Coastguard Workerth.tableblock, td.tableblock {
482*4dc78e53SAndroid Build Coastguard Worker  border-width: 1px;
483*4dc78e53SAndroid Build Coastguard Worker  padding: 4px;
484*4dc78e53SAndroid Build Coastguard Worker  border-style: solid;
485*4dc78e53SAndroid Build Coastguard Worker  border-color: #527bbd;
486*4dc78e53SAndroid Build Coastguard Worker}
487*4dc78e53SAndroid Build Coastguard Worker
488*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-topbot {
489*4dc78e53SAndroid Build Coastguard Worker  border-left-style: hidden;
490*4dc78e53SAndroid Build Coastguard Worker  border-right-style: hidden;
491*4dc78e53SAndroid Build Coastguard Worker}
492*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-sides {
493*4dc78e53SAndroid Build Coastguard Worker  border-top-style: hidden;
494*4dc78e53SAndroid Build Coastguard Worker  border-bottom-style: hidden;
495*4dc78e53SAndroid Build Coastguard Worker}
496*4dc78e53SAndroid Build Coastguard Workertable.tableblock.frame-none {
497*4dc78e53SAndroid Build Coastguard Worker  border-style: hidden;
498*4dc78e53SAndroid Build Coastguard Worker}
499*4dc78e53SAndroid Build Coastguard Worker
500*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-left, td.tableblock.halign-left {
501*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
502*4dc78e53SAndroid Build Coastguard Worker}
503*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-center, td.tableblock.halign-center {
504*4dc78e53SAndroid Build Coastguard Worker  text-align: center;
505*4dc78e53SAndroid Build Coastguard Worker}
506*4dc78e53SAndroid Build Coastguard Workerth.tableblock.halign-right, td.tableblock.halign-right {
507*4dc78e53SAndroid Build Coastguard Worker  text-align: right;
508*4dc78e53SAndroid Build Coastguard Worker}
509*4dc78e53SAndroid Build Coastguard Worker
510*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-top, td.tableblock.valign-top {
511*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
512*4dc78e53SAndroid Build Coastguard Worker}
513*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-middle, td.tableblock.valign-middle {
514*4dc78e53SAndroid Build Coastguard Worker  vertical-align: middle;
515*4dc78e53SAndroid Build Coastguard Worker}
516*4dc78e53SAndroid Build Coastguard Workerth.tableblock.valign-bottom, td.tableblock.valign-bottom {
517*4dc78e53SAndroid Build Coastguard Worker  vertical-align: bottom;
518*4dc78e53SAndroid Build Coastguard Worker}
519*4dc78e53SAndroid Build Coastguard Worker
520*4dc78e53SAndroid Build Coastguard Worker
521*4dc78e53SAndroid Build Coastguard Worker/*
522*4dc78e53SAndroid Build Coastguard Worker * Theme specific overrides of the preceding (asciidoc.css) CSS.
523*4dc78e53SAndroid Build Coastguard Worker *
524*4dc78e53SAndroid Build Coastguard Worker */
525*4dc78e53SAndroid Build Coastguard Workerbody {
526*4dc78e53SAndroid Build Coastguard Worker  font-family: Garamond, Georgia, serif;
527*4dc78e53SAndroid Build Coastguard Worker  font-size: 17px;
528*4dc78e53SAndroid Build Coastguard Worker  color: #3E4349;
529*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3em;
530*4dc78e53SAndroid Build Coastguard Worker}
531*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6,
532*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title,
533*4dc78e53SAndroid Build Coastguard Workerthead, p.table.header,
534*4dc78e53SAndroid Build Coastguard Worker#toctitle,
535*4dc78e53SAndroid Build Coastguard Worker#author, #revnumber, #revdate, #revremark,
536*4dc78e53SAndroid Build Coastguard Worker#footer {
537*4dc78e53SAndroid Build Coastguard Worker  font-family: Garmond, Georgia, serif;
538*4dc78e53SAndroid Build Coastguard Worker  font-weight: normal;
539*4dc78e53SAndroid Build Coastguard Worker  border-bottom-width: 0;
540*4dc78e53SAndroid Build Coastguard Worker  color: #3E4349;
541*4dc78e53SAndroid Build Coastguard Worker}
542*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title { color: #596673; font-weight: bold; }
543*4dc78e53SAndroid Build Coastguard Workerh1 { font-size: 240%; }
544*4dc78e53SAndroid Build Coastguard Workerh2 { font-size: 180%; }
545*4dc78e53SAndroid Build Coastguard Workerh3 { font-size: 150%; }
546*4dc78e53SAndroid Build Coastguard Workerh4 { font-size: 130%; }
547*4dc78e53SAndroid Build Coastguard Workerh5 { font-size: 100%; }
548*4dc78e53SAndroid Build Coastguard Workerh6 { font-size: 100%; }
549*4dc78e53SAndroid Build Coastguard Worker#header h1 { margin-top: 0; }
550*4dc78e53SAndroid Build Coastguard Worker#toc {
551*4dc78e53SAndroid Build Coastguard Worker  color: #444444;
552*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.5;
553*4dc78e53SAndroid Build Coastguard Worker  padding-top: 1.5em;
554*4dc78e53SAndroid Build Coastguard Worker}
555*4dc78e53SAndroid Build Coastguard Worker#toctitle {
556*4dc78e53SAndroid Build Coastguard Worker  font-size: 20px;
557*4dc78e53SAndroid Build Coastguard Worker}
558*4dc78e53SAndroid Build Coastguard Worker#toc a {
559*4dc78e53SAndroid Build Coastguard Worker    border-bottom: 1px dotted #999999;
560*4dc78e53SAndroid Build Coastguard Worker    color: #444444 !important;
561*4dc78e53SAndroid Build Coastguard Worker    text-decoration: none !important;
562*4dc78e53SAndroid Build Coastguard Worker}
563*4dc78e53SAndroid Build Coastguard Worker#toc a:hover {
564*4dc78e53SAndroid Build Coastguard Worker    border-bottom: 1px solid #6D4100;
565*4dc78e53SAndroid Build Coastguard Worker    color: #6D4100 !important;
566*4dc78e53SAndroid Build Coastguard Worker    text-decoration: none !important;
567*4dc78e53SAndroid Build Coastguard Worker}
568*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel1 { margin-top: 0.2em; font-size: 16px; }
569*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel2 { margin-top: 0.15em; font-size: 14px; }
570*4dc78e53SAndroid Build Coastguard Workerem, dt, td.hdlist1 { color: black; }
571*4dc78e53SAndroid Build Coastguard Workerstrong { color: #3E4349; }
572*4dc78e53SAndroid Build Coastguard Workera { color: #004B6B; text-decoration: none; border-bottom: 1px dotted #004B6B; }
573*4dc78e53SAndroid Build Coastguard Workera:visited { color: #615FA0; border-bottom: 1px dotted #615FA0; }
574*4dc78e53SAndroid Build Coastguard Workera:hover { color: #6D4100; border-bottom: 1px solid #6D4100; }
575*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table, table.tableblock { border: 3px solid #E8E8E8; }
576*4dc78e53SAndroid Build Coastguard Workerth.tableblock, td.tableblock { border: 1px solid #E8E8E8; }
577*4dc78e53SAndroid Build Coastguard Workerul > li > * { color: #3E4349; }
578*4dc78e53SAndroid Build Coastguard Workerpre, tt, .monospaced { font-family: Consolas,Menlo,'Deja Vu Sans Mono','Bitstream Vera Sans Mono',monospace; }
579*4dc78e53SAndroid Build Coastguard Workertt, .monospaced { font-size: 0.9em; color: black;
580*4dc78e53SAndroid Build Coastguard Worker}
581*4dc78e53SAndroid Build Coastguard Workerdiv.exampleblock > div.content, div.sidebarblock > div.content, div.listingblock > div.content { border-width: 0 0 0 3px; border-color: #E8E8E8; }
582*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock { border-left-width: 0; margin-left: 3em; }
583*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock { border-left-width: 3px; margin-left: 0; margin-right: 0;}
584*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock td.content { border-left: 3px solid #E8E8E8; }
585