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