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