xref: /aosp_15_r20/external/libnl/doc/stylesheets/xhtml11.css (revision 4dc78e53d49367fa8e61b07018507c90983a077d)
1*4dc78e53SAndroid Build Coastguard Worker/* Debug borders */
2*4dc78e53SAndroid Build Coastguard Workerp, li, dt, dd, div, pre, h1, h2, h3, h4, h5, h6 {
3*4dc78e53SAndroid Build Coastguard Worker/*
4*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid red;
5*4dc78e53SAndroid Build Coastguard Worker*/
6*4dc78e53SAndroid Build Coastguard Worker}
7*4dc78e53SAndroid Build Coastguard Worker
8*4dc78e53SAndroid Build Coastguard Workerbody {
9*4dc78e53SAndroid Build Coastguard Worker  margin: 1em 5% 1em 5%;
10*4dc78e53SAndroid Build Coastguard Worker}
11*4dc78e53SAndroid Build Coastguard Worker
12*4dc78e53SAndroid Build Coastguard Workera {
13*4dc78e53SAndroid Build Coastguard Worker  color: blue;
14*4dc78e53SAndroid Build Coastguard Worker  text-decoration: underline;
15*4dc78e53SAndroid Build Coastguard Worker}
16*4dc78e53SAndroid Build Coastguard Workera:visited {
17*4dc78e53SAndroid Build Coastguard Worker  color: fuchsia;
18*4dc78e53SAndroid Build Coastguard Worker}
19*4dc78e53SAndroid Build Coastguard Worker
20*4dc78e53SAndroid Build Coastguard Workerem {
21*4dc78e53SAndroid Build Coastguard Worker  font-style: italic;
22*4dc78e53SAndroid Build Coastguard Worker  color: navy;
23*4dc78e53SAndroid Build Coastguard Worker}
24*4dc78e53SAndroid Build Coastguard Worker
25*4dc78e53SAndroid Build Coastguard Workerstrong {
26*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
27*4dc78e53SAndroid Build Coastguard Worker  color: #083194;
28*4dc78e53SAndroid Build Coastguard Worker}
29*4dc78e53SAndroid Build Coastguard Worker
30*4dc78e53SAndroid Build Coastguard Workertt {
31*4dc78e53SAndroid Build Coastguard Worker  color: navy;
32*4dc78e53SAndroid Build Coastguard Worker}
33*4dc78e53SAndroid Build Coastguard Worker
34*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6 {
35*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
36*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
37*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.2em;
38*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
39*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
40*4dc78e53SAndroid Build Coastguard Worker}
41*4dc78e53SAndroid Build Coastguard Worker
42*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3 {
43*4dc78e53SAndroid Build Coastguard Worker  border-bottom: 2px solid silver;
44*4dc78e53SAndroid Build Coastguard Worker}
45*4dc78e53SAndroid Build Coastguard Workerh2 {
46*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
47*4dc78e53SAndroid Build Coastguard Worker}
48*4dc78e53SAndroid Build Coastguard Workerh3 {
49*4dc78e53SAndroid Build Coastguard Worker  float: left;
50*4dc78e53SAndroid Build Coastguard Worker}
51*4dc78e53SAndroid Build Coastguard Workerh3 + * {
52*4dc78e53SAndroid Build Coastguard Worker  clear: left;
53*4dc78e53SAndroid Build Coastguard Worker}
54*4dc78e53SAndroid Build Coastguard Worker
55*4dc78e53SAndroid Build Coastguard Workerdiv.sectionbody {
56*4dc78e53SAndroid Build Coastguard Worker  font-family: serif;
57*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0;
58*4dc78e53SAndroid Build Coastguard Worker}
59*4dc78e53SAndroid Build Coastguard Worker
60*4dc78e53SAndroid Build Coastguard Workerhr {
61*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
62*4dc78e53SAndroid Build Coastguard Worker}
63*4dc78e53SAndroid Build Coastguard Worker
64*4dc78e53SAndroid Build Coastguard Workerp {
65*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
66*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
67*4dc78e53SAndroid Build Coastguard Worker}
68*4dc78e53SAndroid Build Coastguard Worker
69*4dc78e53SAndroid Build Coastguard Workerul, ol, li > p {
70*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
71*4dc78e53SAndroid Build Coastguard Worker}
72*4dc78e53SAndroid Build Coastguard Worker
73*4dc78e53SAndroid Build Coastguard Workerpre {
74*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
75*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
76*4dc78e53SAndroid Build Coastguard Worker}
77*4dc78e53SAndroid Build Coastguard Worker
78*4dc78e53SAndroid Build Coastguard Workerspan#author {
79*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
80*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
81*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
82*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
83*4dc78e53SAndroid Build Coastguard Worker}
84*4dc78e53SAndroid Build Coastguard Workerspan#email {
85*4dc78e53SAndroid Build Coastguard Worker}
86*4dc78e53SAndroid Build Coastguard Workerspan#revnumber, span#revdate, span#revremark {
87*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
88*4dc78e53SAndroid Build Coastguard Worker}
89*4dc78e53SAndroid Build Coastguard Worker
90*4dc78e53SAndroid Build Coastguard Workerdiv#footer {
91*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
92*4dc78e53SAndroid Build Coastguard Worker  font-size: small;
93*4dc78e53SAndroid Build Coastguard Worker  border-top: 2px solid silver;
94*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
95*4dc78e53SAndroid Build Coastguard Worker  margin-top: 4.0em;
96*4dc78e53SAndroid Build Coastguard Worker}
97*4dc78e53SAndroid Build Coastguard Workerdiv#footer-text {
98*4dc78e53SAndroid Build Coastguard Worker  float: left;
99*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
100*4dc78e53SAndroid Build Coastguard Worker}
101*4dc78e53SAndroid Build Coastguard Workerdiv#footer-badges {
102*4dc78e53SAndroid Build Coastguard Worker  float: right;
103*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0.5em;
104*4dc78e53SAndroid Build Coastguard Worker}
105*4dc78e53SAndroid Build Coastguard Worker
106*4dc78e53SAndroid Build Coastguard Workerdiv#preamble {
107*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.5em;
108*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
109*4dc78e53SAndroid Build Coastguard Worker}
110*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock, div.imageblock, div.exampleblock, div.verseblock,
111*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
112*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
113*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.5em;
114*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 1.5em;
115*4dc78e53SAndroid Build Coastguard Worker}
116*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock {
117*4dc78e53SAndroid Build Coastguard Worker  margin-top: 2.5em;
118*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 2.5em;
119*4dc78e53SAndroid Build Coastguard Worker}
120*4dc78e53SAndroid Build Coastguard Worker
121*4dc78e53SAndroid Build Coastguard Workerdiv.content { /* Block element content. */
122*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
123*4dc78e53SAndroid Build Coastguard Worker}
124*4dc78e53SAndroid Build Coastguard Worker
125*4dc78e53SAndroid Build Coastguard Worker/* Block element titles. */
126*4dc78e53SAndroid Build Coastguard Workerdiv.title, caption.title {
127*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
128*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
129*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
130*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
131*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
132*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.5em;
133*4dc78e53SAndroid Build Coastguard Worker}
134*4dc78e53SAndroid Build Coastguard Workerdiv.title + * {
135*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
136*4dc78e53SAndroid Build Coastguard Worker}
137*4dc78e53SAndroid Build Coastguard Worker
138*4dc78e53SAndroid Build Coastguard Workertd div.title:first-child {
139*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
140*4dc78e53SAndroid Build Coastguard Worker}
141*4dc78e53SAndroid Build Coastguard Workerdiv.content div.title:first-child {
142*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
143*4dc78e53SAndroid Build Coastguard Worker}
144*4dc78e53SAndroid Build Coastguard Workerdiv.content + div.title {
145*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.0em;
146*4dc78e53SAndroid Build Coastguard Worker}
147*4dc78e53SAndroid Build Coastguard Worker
148*4dc78e53SAndroid Build Coastguard Workerdiv.sidebarblock > div.content {
149*4dc78e53SAndroid Build Coastguard Worker  background: #ffffee;
150*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
151*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
152*4dc78e53SAndroid Build Coastguard Worker}
153*4dc78e53SAndroid Build Coastguard Worker
154*4dc78e53SAndroid Build Coastguard Workerdiv.listingblock > div.content {
155*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
156*4dc78e53SAndroid Build Coastguard Worker  background: #f4f4f4;
157*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
158*4dc78e53SAndroid Build Coastguard Worker}
159*4dc78e53SAndroid Build Coastguard Worker
160*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock {
161*4dc78e53SAndroid Build Coastguard Worker  padding-left: 2.0em;
162*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
163*4dc78e53SAndroid Build Coastguard Worker}
164*4dc78e53SAndroid Build Coastguard Workerdiv.quoteblock > div.attribution {
165*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.5em;
166*4dc78e53SAndroid Build Coastguard Worker  text-align: right;
167*4dc78e53SAndroid Build Coastguard Worker}
168*4dc78e53SAndroid Build Coastguard Worker
169*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock {
170*4dc78e53SAndroid Build Coastguard Worker  padding-left: 2.0em;
171*4dc78e53SAndroid Build Coastguard Worker  margin-right: 10%;
172*4dc78e53SAndroid Build Coastguard Worker}
173*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > div.content {
174*4dc78e53SAndroid Build Coastguard Worker  white-space: pre;
175*4dc78e53SAndroid Build Coastguard Worker}
176*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock > div.attribution {
177*4dc78e53SAndroid Build Coastguard Worker  padding-top: 0.75em;
178*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
179*4dc78e53SAndroid Build Coastguard Worker}
180*4dc78e53SAndroid Build Coastguard Worker/* DEPRECATED: Pre version 8.2.7 verse style literal block. */
181*4dc78e53SAndroid Build Coastguard Workerdiv.verseblock + div.attribution {
182*4dc78e53SAndroid Build Coastguard Worker  text-align: left;
183*4dc78e53SAndroid Build Coastguard Worker}
184*4dc78e53SAndroid Build Coastguard Worker
185*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock .icon {
186*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
187*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
188*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
189*4dc78e53SAndroid Build Coastguard Worker  text-decoration: underline;
190*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
191*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.5em;
192*4dc78e53SAndroid Build Coastguard Worker}
193*4dc78e53SAndroid Build Coastguard Workerdiv.admonitionblock td.content {
194*4dc78e53SAndroid Build Coastguard Worker  padding-left: 0.5em;
195*4dc78e53SAndroid Build Coastguard Worker  border-left: 2px solid silver;
196*4dc78e53SAndroid Build Coastguard Worker}
197*4dc78e53SAndroid Build Coastguard Worker
198*4dc78e53SAndroid Build Coastguard Workerdiv.exampleblock > div.content {
199*4dc78e53SAndroid Build Coastguard Worker  border-left: 2px solid silver;
200*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em;
201*4dc78e53SAndroid Build Coastguard Worker}
202*4dc78e53SAndroid Build Coastguard Worker
203*4dc78e53SAndroid Build Coastguard Workerdiv.imageblock div.content { padding-left: 0; }
204*4dc78e53SAndroid Build Coastguard Workerspan.image img { border-style: none; }
205*4dc78e53SAndroid Build Coastguard Workera.image:visited { color: white; }
206*4dc78e53SAndroid Build Coastguard Worker
207*4dc78e53SAndroid Build Coastguard Workerdl {
208*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.8em;
209*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.8em;
210*4dc78e53SAndroid Build Coastguard Worker}
211*4dc78e53SAndroid Build Coastguard Workerdt {
212*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
213*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
214*4dc78e53SAndroid Build Coastguard Worker  font-style: normal;
215*4dc78e53SAndroid Build Coastguard Worker  color: navy;
216*4dc78e53SAndroid Build Coastguard Worker}
217*4dc78e53SAndroid Build Coastguard Workerdd > *:first-child {
218*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.1em;
219*4dc78e53SAndroid Build Coastguard Worker}
220*4dc78e53SAndroid Build Coastguard Worker
221*4dc78e53SAndroid Build Coastguard Workerul, ol {
222*4dc78e53SAndroid Build Coastguard Worker    list-style-position: outside;
223*4dc78e53SAndroid Build Coastguard Worker}
224*4dc78e53SAndroid Build Coastguard Workerol.arabic {
225*4dc78e53SAndroid Build Coastguard Worker  list-style-type: decimal;
226*4dc78e53SAndroid Build Coastguard Worker}
227*4dc78e53SAndroid Build Coastguard Workerol.loweralpha {
228*4dc78e53SAndroid Build Coastguard Worker  list-style-type: lower-alpha;
229*4dc78e53SAndroid Build Coastguard Worker}
230*4dc78e53SAndroid Build Coastguard Workerol.upperalpha {
231*4dc78e53SAndroid Build Coastguard Worker  list-style-type: upper-alpha;
232*4dc78e53SAndroid Build Coastguard Worker}
233*4dc78e53SAndroid Build Coastguard Workerol.lowerroman {
234*4dc78e53SAndroid Build Coastguard Worker  list-style-type: lower-roman;
235*4dc78e53SAndroid Build Coastguard Worker}
236*4dc78e53SAndroid Build Coastguard Workerol.upperroman {
237*4dc78e53SAndroid Build Coastguard Worker  list-style-type: upper-roman;
238*4dc78e53SAndroid Build Coastguard Worker}
239*4dc78e53SAndroid Build Coastguard Worker
240*4dc78e53SAndroid Build Coastguard Workerdiv.compact ul, div.compact ol,
241*4dc78e53SAndroid Build Coastguard Workerdiv.compact p, div.compact p,
242*4dc78e53SAndroid Build Coastguard Workerdiv.compact div, div.compact div {
243*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.1em;
244*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.1em;
245*4dc78e53SAndroid Build Coastguard Worker}
246*4dc78e53SAndroid Build Coastguard Worker
247*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table {
248*4dc78e53SAndroid Build Coastguard Worker  border: 3px solid #527bbd;
249*4dc78e53SAndroid Build Coastguard Worker}
250*4dc78e53SAndroid Build Coastguard Workerthead {
251*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
252*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
253*4dc78e53SAndroid Build Coastguard Worker}
254*4dc78e53SAndroid Build Coastguard Workertfoot {
255*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
256*4dc78e53SAndroid Build Coastguard Worker}
257*4dc78e53SAndroid Build Coastguard Workertd > div.verse {
258*4dc78e53SAndroid Build Coastguard Worker  white-space: pre;
259*4dc78e53SAndroid Build Coastguard Worker}
260*4dc78e53SAndroid Build Coastguard Workerp.table {
261*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
262*4dc78e53SAndroid Build Coastguard Worker}
263*4dc78e53SAndroid Build Coastguard Worker/* Because the table frame attribute is overriden by CSS in most browsers. */
264*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="void"] {
265*4dc78e53SAndroid Build Coastguard Worker  border-style: none;
266*4dc78e53SAndroid Build Coastguard Worker}
267*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="hsides"] {
268*4dc78e53SAndroid Build Coastguard Worker  border-left-style: none;
269*4dc78e53SAndroid Build Coastguard Worker  border-right-style: none;
270*4dc78e53SAndroid Build Coastguard Worker}
271*4dc78e53SAndroid Build Coastguard Workerdiv.tableblock > table[frame="vsides"] {
272*4dc78e53SAndroid Build Coastguard Worker  border-top-style: none;
273*4dc78e53SAndroid Build Coastguard Worker  border-bottom-style: none;
274*4dc78e53SAndroid Build Coastguard Worker}
275*4dc78e53SAndroid Build Coastguard Worker
276*4dc78e53SAndroid Build Coastguard Worker
277*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist {
278*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.8em;
279*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.8em;
280*4dc78e53SAndroid Build Coastguard Worker}
281*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist tr {
282*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 15px;
283*4dc78e53SAndroid Build Coastguard Worker}
284*4dc78e53SAndroid Build Coastguard Workerdt.hdlist1.strong, td.hdlist1.strong {
285*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
286*4dc78e53SAndroid Build Coastguard Worker}
287*4dc78e53SAndroid Build Coastguard Workertd.hdlist1 {
288*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
289*4dc78e53SAndroid Build Coastguard Worker  font-style: normal;
290*4dc78e53SAndroid Build Coastguard Worker  padding-right: 0.8em;
291*4dc78e53SAndroid Build Coastguard Worker  color: navy;
292*4dc78e53SAndroid Build Coastguard Worker}
293*4dc78e53SAndroid Build Coastguard Workertd.hdlist2 {
294*4dc78e53SAndroid Build Coastguard Worker  vertical-align: top;
295*4dc78e53SAndroid Build Coastguard Worker}
296*4dc78e53SAndroid Build Coastguard Workerdiv.hdlist.compact tr {
297*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
298*4dc78e53SAndroid Build Coastguard Worker  padding-bottom: 0;
299*4dc78e53SAndroid Build Coastguard Worker}
300*4dc78e53SAndroid Build Coastguard Worker
301*4dc78e53SAndroid Build Coastguard Worker.comment {
302*4dc78e53SAndroid Build Coastguard Worker  background: yellow;
303*4dc78e53SAndroid Build Coastguard Worker}
304*4dc78e53SAndroid Build Coastguard Worker
305*4dc78e53SAndroid Build Coastguard Worker@media print {
306*4dc78e53SAndroid Build Coastguard Worker  div#footer-badges { display: none; }
307*4dc78e53SAndroid Build Coastguard Worker}
308*4dc78e53SAndroid Build Coastguard Worker
309*4dc78e53SAndroid Build Coastguard Workerdiv#toctitle {
310*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
311*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
312*4dc78e53SAndroid Build Coastguard Worker  font-size: 1.1em;
313*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
314*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1.0em;
315*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.1em;
316*4dc78e53SAndroid Build Coastguard Worker}
317*4dc78e53SAndroid Build Coastguard Worker
318*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
319*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
320*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
321*4dc78e53SAndroid Build Coastguard Worker}
322*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel2 {
323*4dc78e53SAndroid Build Coastguard Worker  margin-left: 2em;
324*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
325*4dc78e53SAndroid Build Coastguard Worker}
326*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel3 {
327*4dc78e53SAndroid Build Coastguard Worker  margin-left: 4em;
328*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
329*4dc78e53SAndroid Build Coastguard Worker}
330*4dc78e53SAndroid Build Coastguard Workerdiv.toclevel4 {
331*4dc78e53SAndroid Build Coastguard Worker  margin-left: 6em;
332*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
333*4dc78e53SAndroid Build Coastguard Worker}
334