xref: /aosp_15_r20/external/libnl/doc/stylesheets/docbook-xsl.css (revision 4dc78e53d49367fa8e61b07018507c90983a077d)
1*4dc78e53SAndroid Build Coastguard Worker/*
2*4dc78e53SAndroid Build Coastguard Worker  CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
3*4dc78e53SAndroid Build Coastguard Worker  Tested with XSL stylesheets 1.61.2, 1.67.2
4*4dc78e53SAndroid Build Coastguard Worker*/
5*4dc78e53SAndroid Build Coastguard Worker
6*4dc78e53SAndroid Build Coastguard Workerspan.strong {
7*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
8*4dc78e53SAndroid Build Coastguard Worker}
9*4dc78e53SAndroid Build Coastguard Worker
10*4dc78e53SAndroid Build Coastguard Workerbody blockquote {
11*4dc78e53SAndroid Build Coastguard Worker  margin-top: .75em;
12*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.5;
13*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: .75em;
14*4dc78e53SAndroid Build Coastguard Worker}
15*4dc78e53SAndroid Build Coastguard Worker
16*4dc78e53SAndroid Build Coastguard Workerhtml body {
17*4dc78e53SAndroid Build Coastguard Worker  margin: 1em 5% 1em 5%;
18*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2;
19*4dc78e53SAndroid Build Coastguard Worker}
20*4dc78e53SAndroid Build Coastguard Worker
21*4dc78e53SAndroid Build Coastguard Workerbody div {
22*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
23*4dc78e53SAndroid Build Coastguard Worker}
24*4dc78e53SAndroid Build Coastguard Worker
25*4dc78e53SAndroid Build Coastguard Workerh1, h2, h3, h4, h5, h6
26*4dc78e53SAndroid Build Coastguard Worker{
27*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
28*4dc78e53SAndroid Build Coastguard Worker  font-family: tahoma, verdana, sans-serif;
29*4dc78e53SAndroid Build Coastguard Worker}
30*4dc78e53SAndroid Build Coastguard Worker
31*4dc78e53SAndroid Build Coastguard Workerdiv.toc p:first-child,
32*4dc78e53SAndroid Build Coastguard Workerdiv.list-of-figures p:first-child,
33*4dc78e53SAndroid Build Coastguard Workerdiv.list-of-tables p:first-child,
34*4dc78e53SAndroid Build Coastguard Workerdiv.list-of-examples p:first-child,
35*4dc78e53SAndroid Build Coastguard Workerdiv.example p.title,
36*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar p.title
37*4dc78e53SAndroid Build Coastguard Worker{
38*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
39*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
40*4dc78e53SAndroid Build Coastguard Worker  font-family: tahoma, verdana, sans-serif;
41*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.2em;
42*4dc78e53SAndroid Build Coastguard Worker}
43*4dc78e53SAndroid Build Coastguard Worker
44*4dc78e53SAndroid Build Coastguard Workerbody h1 {
45*4dc78e53SAndroid Build Coastguard Worker  margin: .0em 0 0 -4%;
46*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
47*4dc78e53SAndroid Build Coastguard Worker  border-bottom: 2px solid silver;
48*4dc78e53SAndroid Build Coastguard Worker}
49*4dc78e53SAndroid Build Coastguard Worker
50*4dc78e53SAndroid Build Coastguard Workerbody h2 {
51*4dc78e53SAndroid Build Coastguard Worker  margin: 0.5em 0 0 -4%;
52*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
53*4dc78e53SAndroid Build Coastguard Worker  border-bottom: 2px solid silver;
54*4dc78e53SAndroid Build Coastguard Worker}
55*4dc78e53SAndroid Build Coastguard Worker
56*4dc78e53SAndroid Build Coastguard Workerbody h3 {
57*4dc78e53SAndroid Build Coastguard Worker  margin: .8em 0 0 -3%;
58*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
59*4dc78e53SAndroid Build Coastguard Worker}
60*4dc78e53SAndroid Build Coastguard Worker
61*4dc78e53SAndroid Build Coastguard Workerbody h4 {
62*4dc78e53SAndroid Build Coastguard Worker  margin: .8em 0 0 -3%;
63*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
64*4dc78e53SAndroid Build Coastguard Worker}
65*4dc78e53SAndroid Build Coastguard Worker
66*4dc78e53SAndroid Build Coastguard Workerbody h5 {
67*4dc78e53SAndroid Build Coastguard Worker  margin: .8em 0 0 -2%;
68*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
69*4dc78e53SAndroid Build Coastguard Worker}
70*4dc78e53SAndroid Build Coastguard Worker
71*4dc78e53SAndroid Build Coastguard Workerbody h6 {
72*4dc78e53SAndroid Build Coastguard Worker  margin: .8em 0 0 -1%;
73*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.3;
74*4dc78e53SAndroid Build Coastguard Worker}
75*4dc78e53SAndroid Build Coastguard Worker
76*4dc78e53SAndroid Build Coastguard Workerbody hr {
77*4dc78e53SAndroid Build Coastguard Worker  border: none; /* Broken on IE6 */
78*4dc78e53SAndroid Build Coastguard Worker}
79*4dc78e53SAndroid Build Coastguard Workerdiv.footnotes hr {
80*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
81*4dc78e53SAndroid Build Coastguard Worker}
82*4dc78e53SAndroid Build Coastguard Worker
83*4dc78e53SAndroid Build Coastguard Workerdiv.navheader th, div.navheader td, div.navfooter td {
84*4dc78e53SAndroid Build Coastguard Worker  font-family: sans-serif;
85*4dc78e53SAndroid Build Coastguard Worker  font-size: 0.9em;
86*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
87*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
88*4dc78e53SAndroid Build Coastguard Worker}
89*4dc78e53SAndroid Build Coastguard Workerdiv.navheader img, div.navfooter img {
90*4dc78e53SAndroid Build Coastguard Worker  border-style: none;
91*4dc78e53SAndroid Build Coastguard Worker}
92*4dc78e53SAndroid Build Coastguard Workerdiv.navheader a, div.navfooter a {
93*4dc78e53SAndroid Build Coastguard Worker  font-weight: normal;
94*4dc78e53SAndroid Build Coastguard Worker}
95*4dc78e53SAndroid Build Coastguard Workerdiv.navfooter hr {
96*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
97*4dc78e53SAndroid Build Coastguard Worker}
98*4dc78e53SAndroid Build Coastguard Worker
99*4dc78e53SAndroid Build Coastguard Workerbody td {
100*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2
101*4dc78e53SAndroid Build Coastguard Worker}
102*4dc78e53SAndroid Build Coastguard Worker
103*4dc78e53SAndroid Build Coastguard Workerbody th {
104*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2;
105*4dc78e53SAndroid Build Coastguard Worker}
106*4dc78e53SAndroid Build Coastguard Worker
107*4dc78e53SAndroid Build Coastguard Workerol {
108*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2;
109*4dc78e53SAndroid Build Coastguard Worker}
110*4dc78e53SAndroid Build Coastguard Worker
111*4dc78e53SAndroid Build Coastguard Workerul, body dir, body menu {
112*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2;
113*4dc78e53SAndroid Build Coastguard Worker}
114*4dc78e53SAndroid Build Coastguard Worker
115*4dc78e53SAndroid Build Coastguard Workerhtml {
116*4dc78e53SAndroid Build Coastguard Worker  margin: 0;
117*4dc78e53SAndroid Build Coastguard Worker  padding: 0;
118*4dc78e53SAndroid Build Coastguard Worker}
119*4dc78e53SAndroid Build Coastguard Worker
120*4dc78e53SAndroid Build Coastguard Workerbody h1, body h2, body h3, body h4, body h5, body h6 {
121*4dc78e53SAndroid Build Coastguard Worker  margin-left: 0
122*4dc78e53SAndroid Build Coastguard Worker}
123*4dc78e53SAndroid Build Coastguard Worker
124*4dc78e53SAndroid Build Coastguard Workerbody pre {
125*4dc78e53SAndroid Build Coastguard Worker  margin: 0.5em 10% 0.5em 1em;
126*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.0;
127*4dc78e53SAndroid Build Coastguard Worker  color: navy;
128*4dc78e53SAndroid Build Coastguard Worker}
129*4dc78e53SAndroid Build Coastguard Worker
130*4dc78e53SAndroid Build Coastguard Workertt.literal, code.literal {
131*4dc78e53SAndroid Build Coastguard Worker  color: navy;
132*4dc78e53SAndroid Build Coastguard Worker}
133*4dc78e53SAndroid Build Coastguard Worker
134*4dc78e53SAndroid Build Coastguard Worker.programlisting, .screen {
135*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
136*4dc78e53SAndroid Build Coastguard Worker  background: #f4f4f4;
137*4dc78e53SAndroid Build Coastguard Worker  margin: 0.5em 10% 0.5em 0;
138*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em 1em;
139*4dc78e53SAndroid Build Coastguard Worker}
140*4dc78e53SAndroid Build Coastguard Worker
141*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar {
142*4dc78e53SAndroid Build Coastguard Worker  background: #ffffee;
143*4dc78e53SAndroid Build Coastguard Worker  margin: 1.0em 10% 0.5em 0;
144*4dc78e53SAndroid Build Coastguard Worker  padding: 0.5em 1em;
145*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
146*4dc78e53SAndroid Build Coastguard Worker}
147*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar * { padding: 0; }
148*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar div { margin: 0; }
149*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar p.title {
150*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
151*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.2em;
152*4dc78e53SAndroid Build Coastguard Worker}
153*4dc78e53SAndroid Build Coastguard Worker
154*4dc78e53SAndroid Build Coastguard Workerdiv.bibliomixed {
155*4dc78e53SAndroid Build Coastguard Worker  margin: 0.5em 5% 0.5em 1em;
156*4dc78e53SAndroid Build Coastguard Worker}
157*4dc78e53SAndroid Build Coastguard Worker
158*4dc78e53SAndroid Build Coastguard Workerdiv.glossary dt {
159*4dc78e53SAndroid Build Coastguard Worker  font-weight: bold;
160*4dc78e53SAndroid Build Coastguard Worker}
161*4dc78e53SAndroid Build Coastguard Workerdiv.glossary dd p {
162*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.2em;
163*4dc78e53SAndroid Build Coastguard Worker}
164*4dc78e53SAndroid Build Coastguard Worker
165*4dc78e53SAndroid Build Coastguard Workerdl {
166*4dc78e53SAndroid Build Coastguard Worker  margin: .8em 0;
167*4dc78e53SAndroid Build Coastguard Worker  line-height: 1.2;
168*4dc78e53SAndroid Build Coastguard Worker}
169*4dc78e53SAndroid Build Coastguard Worker
170*4dc78e53SAndroid Build Coastguard Workerdt {
171*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
172*4dc78e53SAndroid Build Coastguard Worker}
173*4dc78e53SAndroid Build Coastguard Worker
174*4dc78e53SAndroid Build Coastguard Workerdt span.term {
175*4dc78e53SAndroid Build Coastguard Worker  font-style: normal;
176*4dc78e53SAndroid Build Coastguard Worker  color: navy;
177*4dc78e53SAndroid Build Coastguard Worker}
178*4dc78e53SAndroid Build Coastguard Worker
179*4dc78e53SAndroid Build Coastguard Workerdiv.variablelist dd p {
180*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
181*4dc78e53SAndroid Build Coastguard Worker}
182*4dc78e53SAndroid Build Coastguard Worker
183*4dc78e53SAndroid Build Coastguard Workerdiv.itemizedlist li, div.orderedlist li {
184*4dc78e53SAndroid Build Coastguard Worker  margin-left: -0.8em;
185*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0.5em;
186*4dc78e53SAndroid Build Coastguard Worker}
187*4dc78e53SAndroid Build Coastguard Worker
188*4dc78e53SAndroid Build Coastguard Workerul, ol {
189*4dc78e53SAndroid Build Coastguard Worker    list-style-position: outside;
190*4dc78e53SAndroid Build Coastguard Worker}
191*4dc78e53SAndroid Build Coastguard Worker
192*4dc78e53SAndroid Build Coastguard Workerdiv.sidebar ul, div.sidebar ol {
193*4dc78e53SAndroid Build Coastguard Worker    margin-left: 2.8em;
194*4dc78e53SAndroid Build Coastguard Worker}
195*4dc78e53SAndroid Build Coastguard Worker
196*4dc78e53SAndroid Build Coastguard Workerdiv.itemizedlist p.title,
197*4dc78e53SAndroid Build Coastguard Workerdiv.orderedlist p.title,
198*4dc78e53SAndroid Build Coastguard Workerdiv.variablelist p.title
199*4dc78e53SAndroid Build Coastguard Worker{
200*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: -0.8em;
201*4dc78e53SAndroid Build Coastguard Worker}
202*4dc78e53SAndroid Build Coastguard Worker
203*4dc78e53SAndroid Build Coastguard Workerdiv.revhistory table {
204*4dc78e53SAndroid Build Coastguard Worker  border-collapse: collapse;
205*4dc78e53SAndroid Build Coastguard Worker  border: none;
206*4dc78e53SAndroid Build Coastguard Worker}
207*4dc78e53SAndroid Build Coastguard Workerdiv.revhistory th {
208*4dc78e53SAndroid Build Coastguard Worker  border: none;
209*4dc78e53SAndroid Build Coastguard Worker  color: #527bbd;
210*4dc78e53SAndroid Build Coastguard Worker  font-family: tahoma, verdana, sans-serif;
211*4dc78e53SAndroid Build Coastguard Worker}
212*4dc78e53SAndroid Build Coastguard Workerdiv.revhistory td {
213*4dc78e53SAndroid Build Coastguard Worker  border: 1px solid silver;
214*4dc78e53SAndroid Build Coastguard Worker}
215*4dc78e53SAndroid Build Coastguard Worker
216*4dc78e53SAndroid Build Coastguard Worker/* Keep TOC and index lines close together. */
217*4dc78e53SAndroid Build Coastguard Workerdiv.toc dl, div.toc dt,
218*4dc78e53SAndroid Build Coastguard Workerdiv.list-of-figures dl, div.list-of-figures dt,
219*4dc78e53SAndroid Build Coastguard Workerdiv.list-of-tables dl, div.list-of-tables dt,
220*4dc78e53SAndroid Build Coastguard Workerdiv.indexdiv dl, div.indexdiv dt
221*4dc78e53SAndroid Build Coastguard Worker{
222*4dc78e53SAndroid Build Coastguard Worker  line-height: normal;
223*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0;
224*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0;
225*4dc78e53SAndroid Build Coastguard Worker}
226*4dc78e53SAndroid Build Coastguard Worker
227*4dc78e53SAndroid Build Coastguard Worker/*
228*4dc78e53SAndroid Build Coastguard Worker  Table styling does not work because of overriding attributes in
229*4dc78e53SAndroid Build Coastguard Worker  generated HTML.
230*4dc78e53SAndroid Build Coastguard Worker*/
231*4dc78e53SAndroid Build Coastguard Workerdiv.table table,
232*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable table
233*4dc78e53SAndroid Build Coastguard Worker{
234*4dc78e53SAndroid Build Coastguard Worker    margin-left: 0;
235*4dc78e53SAndroid Build Coastguard Worker    margin-right: 5%;
236*4dc78e53SAndroid Build Coastguard Worker    margin-bottom: 0.8em;
237*4dc78e53SAndroid Build Coastguard Worker}
238*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable table
239*4dc78e53SAndroid Build Coastguard Worker{
240*4dc78e53SAndroid Build Coastguard Worker    margin-top: 0.4em
241*4dc78e53SAndroid Build Coastguard Worker}
242*4dc78e53SAndroid Build Coastguard Workerdiv.table thead,
243*4dc78e53SAndroid Build Coastguard Workerdiv.table tfoot,
244*4dc78e53SAndroid Build Coastguard Workerdiv.table tbody,
245*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable thead,
246*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable tfoot,
247*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable tbody
248*4dc78e53SAndroid Build Coastguard Worker{
249*4dc78e53SAndroid Build Coastguard Worker    /* No effect in IE6. */
250*4dc78e53SAndroid Build Coastguard Worker    border-top: 3px solid #527bbd;
251*4dc78e53SAndroid Build Coastguard Worker    border-bottom: 3px solid #527bbd;
252*4dc78e53SAndroid Build Coastguard Worker}
253*4dc78e53SAndroid Build Coastguard Workerdiv.table thead, div.table tfoot,
254*4dc78e53SAndroid Build Coastguard Workerdiv.informaltable thead, div.informaltable tfoot
255*4dc78e53SAndroid Build Coastguard Worker{
256*4dc78e53SAndroid Build Coastguard Worker    font-weight: bold;
257*4dc78e53SAndroid Build Coastguard Worker}
258*4dc78e53SAndroid Build Coastguard Worker
259*4dc78e53SAndroid Build Coastguard Workerdiv.mediaobject img {
260*4dc78e53SAndroid Build Coastguard Worker    margin-bottom: 0.8em;
261*4dc78e53SAndroid Build Coastguard Worker}
262*4dc78e53SAndroid Build Coastguard Workerdiv.figure p.title,
263*4dc78e53SAndroid Build Coastguard Workerdiv.table p.title
264*4dc78e53SAndroid Build Coastguard Worker{
265*4dc78e53SAndroid Build Coastguard Worker  margin-top: 1em;
266*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.4em;
267*4dc78e53SAndroid Build Coastguard Worker}
268*4dc78e53SAndroid Build Coastguard Worker
269*4dc78e53SAndroid Build Coastguard Workerdiv.calloutlist p
270*4dc78e53SAndroid Build Coastguard Worker{
271*4dc78e53SAndroid Build Coastguard Worker  margin-top: 0em;
272*4dc78e53SAndroid Build Coastguard Worker  margin-bottom: 0.4em;
273*4dc78e53SAndroid Build Coastguard Worker}
274*4dc78e53SAndroid Build Coastguard Worker
275*4dc78e53SAndroid Build Coastguard Workera img {
276*4dc78e53SAndroid Build Coastguard Worker  border-style: none;
277*4dc78e53SAndroid Build Coastguard Worker}
278*4dc78e53SAndroid Build Coastguard Worker
279*4dc78e53SAndroid Build Coastguard Worker@media print {
280*4dc78e53SAndroid Build Coastguard Worker  div.navheader, div.navfooter { display: none; }
281*4dc78e53SAndroid Build Coastguard Worker}
282*4dc78e53SAndroid Build Coastguard Worker
283*4dc78e53SAndroid Build Coastguard Workerspan.aqua { color: aqua; }
284*4dc78e53SAndroid Build Coastguard Workerspan.black { color: black; }
285*4dc78e53SAndroid Build Coastguard Workerspan.blue { color: blue; }
286*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia { color: fuchsia; }
287*4dc78e53SAndroid Build Coastguard Workerspan.gray { color: gray; }
288*4dc78e53SAndroid Build Coastguard Workerspan.green { color: green; }
289*4dc78e53SAndroid Build Coastguard Workerspan.lime { color: lime; }
290*4dc78e53SAndroid Build Coastguard Workerspan.maroon { color: maroon; }
291*4dc78e53SAndroid Build Coastguard Workerspan.navy { color: navy; }
292*4dc78e53SAndroid Build Coastguard Workerspan.olive { color: olive; }
293*4dc78e53SAndroid Build Coastguard Workerspan.purple { color: purple; }
294*4dc78e53SAndroid Build Coastguard Workerspan.red { color: red; }
295*4dc78e53SAndroid Build Coastguard Workerspan.silver { color: silver; }
296*4dc78e53SAndroid Build Coastguard Workerspan.teal { color: teal; }
297*4dc78e53SAndroid Build Coastguard Workerspan.white { color: white; }
298*4dc78e53SAndroid Build Coastguard Workerspan.yellow { color: yellow; }
299*4dc78e53SAndroid Build Coastguard Worker
300*4dc78e53SAndroid Build Coastguard Workerspan.aqua-background { background: aqua; }
301*4dc78e53SAndroid Build Coastguard Workerspan.black-background { background: black; }
302*4dc78e53SAndroid Build Coastguard Workerspan.blue-background { background: blue; }
303*4dc78e53SAndroid Build Coastguard Workerspan.fuchsia-background { background: fuchsia; }
304*4dc78e53SAndroid Build Coastguard Workerspan.gray-background { background: gray; }
305*4dc78e53SAndroid Build Coastguard Workerspan.green-background { background: green; }
306*4dc78e53SAndroid Build Coastguard Workerspan.lime-background { background: lime; }
307*4dc78e53SAndroid Build Coastguard Workerspan.maroon-background { background: maroon; }
308*4dc78e53SAndroid Build Coastguard Workerspan.navy-background { background: navy; }
309*4dc78e53SAndroid Build Coastguard Workerspan.olive-background { background: olive; }
310*4dc78e53SAndroid Build Coastguard Workerspan.purple-background { background: purple; }
311*4dc78e53SAndroid Build Coastguard Workerspan.red-background { background: red; }
312*4dc78e53SAndroid Build Coastguard Workerspan.silver-background { background: silver; }
313*4dc78e53SAndroid Build Coastguard Workerspan.teal-background { background: teal; }
314*4dc78e53SAndroid Build Coastguard Workerspan.white-background { background: white; }
315*4dc78e53SAndroid Build Coastguard Workerspan.yellow-background { background: yellow; }
316*4dc78e53SAndroid Build Coastguard Worker
317*4dc78e53SAndroid Build Coastguard Workerspan.big { font-size: 2em; }
318*4dc78e53SAndroid Build Coastguard Workerspan.small { font-size: 0.6em; }
319*4dc78e53SAndroid Build Coastguard Worker
320*4dc78e53SAndroid Build Coastguard Workerspan.underline { text-decoration: underline; }
321*4dc78e53SAndroid Build Coastguard Workerspan.overline { text-decoration: overline; }
322*4dc78e53SAndroid Build Coastguard Workerspan.line-through { text-decoration: line-through; }
323