doc/asciidoc.css

   1 /* Default font. */
   2 body {
   3   font-family: Georgia,serif;
   4   background: #bbb;
   5 }
   6
   7 /* Title font. */
   8 h1, h2, h3, h4, h5, h6,
   9 div.title, caption.title,
  10 thead, p.table.header,
  11 #toctitle,
  12 #author, #revnumber, #revdate, #revremark {
  13   font-family: Arial,Helvetica,sans-serif;
  14   clear: both;
  15 }
  16
  17 body {
  18   margin: 1em 10% 1em 10%;
  19 }
  20
  21 a, a:visited {
  22   color: #333;
  23   font-weight: bolder;
  24   text-decoration: none;
  25 }
  26
  27 a:hover {
  28   font-weight: bolder;
  29   text-decoration: none;
  30   color: OrangeRed ! important;
  31 }
  32
  33 em {
  34   font-style: normal;
  35   font-weight: 600;
  36   color: #444;
  37 }
  38
  39 strong {
  40   font-weight: bold;
  41   color: #223;
  42 }
  43
  44 h1, h2, h3, h4, h5, h6 {
  45   color: #334;
  46   margin-top: 1.2em;
  47   margin-bottom: 0.5em;
  48   line-height: 1.3;
  49 }
  50
  51 h1, h2, h3 {
  52   border-bottom: 2px solid #aaa;
  53 }
  54 h2 {
  55   padding-top: 0.5em;
  56 }
  57 h3 {
  58   float: left;
  59 }
  60 h3 + * {
  61   clear: left;
  62 }
  63 h5 {
  64   font-size: 1.0em;
  65 }
  66
  67 div.sectionbody {
  68   margin-left: 0;
  69 }
  70
  71 hr {
  72   border: 1px solid #aaa;
  73 }
  74
  75 p {
  76   margin-top: 0.5em;
  77   margin-bottom: 0.5em;
  78 }
  79
  80 ul, ol, li > p {
  81   margin-top: 0;
  82 }
  83 ul > li     { color: #aaa; }
  84 ul > li > * { color: black; }
  85
  86 pre {
  87   padding: 0;
  88   margin: 0;
  89 }
  90
  91 #author {
  92   color: #527bbd;
  93   font-weight: bold;
  94   font-size: 1.1em;
  95 }
  96 #email {
  97 }
  98 #revnumber, #revdate, #revremark {
  99 }
 100
 101 #footer {
 102   background-color: #fa0;
 103   text-align: center;
 104   border-top: 1px solid Black;
 105   border-bottom: 1px solid Black;
 106   clear: both;
 107 }
 108
 109 #preamble {
 110   margin-top: 1.5em;
 111   margin-bottom: 1.5em;
 112 }
 113
 114 div.page-container {
 115   background-color: White;
 116   position: relative;
 117 }
 118
 119 div.left-menu {
 120   position: absolute;
 121   left: 1.5em;
 122   top: 190px;
 123   border: 1px solid Black;
 124   background-color: #ddd;
 125   padding-left: 0.5em;
 126   padding-right: 0.5em;
 127   padding-top: 0.5em;
 128 }
 129
 130 div.left-menu a,a:visited,a:hover {
 131   text-decoration: none;
 132 }
 133
 134 div.left-menu a,a:visited {
 135   color: #111;
 136 }
 137
 138 div.left-menu a:hover {
 139   color: OrangeRed;
 140 }
 141
 142 div.left-menu ul {
 143   padding: 0 0 0 0.4em;
 144 }
 145
 146 div.left-menu li {
 147   list-style-type: none;
 148 }
 149
 150 #page-content {
 151   border: 0;
 152   padding-left: 13em;
 153   padding-right: 2em;
 154 }
 155
 156 div.logo {
 157   border-bottom: 0px;
 158   margin-top: 1em;
 159   padding-left: 1em;
 160   color: #444;
 161   background-color: #fa0;
 162   border-top: 1px solid Black;
 163   border-bottom: 1px solid Black;
 164   position: relative;
 165 }
 166
 167 div.logo_picture {
 168   display: inline;
 169 }
 170
 171 div.upper-menu {
 172   display: inline;
 173   float: right;
 174   position: absolute;
 175   bottom: 0;
 176   right: 1em;
 177 }
 178
 179 div.imageblock, div.exampleblock, div.verseblock,
 180 div.quoteblock, div.literalblock, div.listingblock, div.sidebarblock,
 181 div.admonitionblock {
 182   margin-top: 1.0em;
 183   margin-bottom: 1.5em;
 184 }
 185 div.admonitionblock {
 186   margin-top: 2.0em;
 187   margin-bottom: 2.0em;
 188   margin-right: 10%;
 189   color: #606060;
 190 }
 191
 192 div.content { /* Block element content. */
 193   padding: 1em;
 194 }
 195
 196 /* Block element titles. */
 197 div.title, caption.title {
 198   color: #444;
 199   font-weight: bold;
 200   text-align: left;
 201   margin-top: 1.0em;
 202   margin-bottom: 0.5em;
 203 }
 204 div.title + * {
 205   margin-top: 0;
 206 }
 207
 208 td div.title:first-child {
 209   margin-top: 0.0em;
 210 }
 211 div.content div.title:first-child {
 212   margin-top: 0.0em;
 213 }
 214 div.content + div.title {
 215   margin-top: 0.0em;
 216 }
 217
 218 div.sidebarblock > div.content {
 219   background: #ffffee;
 220   border: 1px solid #dddddd;
 221   border-left: 4px solid #f0f0f0;
 222   padding: 0.5em;
 223 }
 224
 225 div.listingblock > div.content {
 226   border: 1px solid #dddddd;
 227   border-left: 5px solid #99a;
 228   background: #f8f8f8;
 229   padding: 0.5em;
 230 }
 231
 232 div.quoteblock, div.verseblock {
 233   padding-left: 1.0em;
 234   margin-left: 1.0em;
 235   margin-right: 10%;
 236   border-left: 5px solid #f0f0f0;
 237   color: #777777;
 238 }
 239
 240 div.quoteblock > div.attribution {
 241   padding-top: 0.5em;
 242   text-align: right;
 243 }
 244
 245 div.verseblock > pre.content {
 246   font-family: inherit;
 247   font-size: inherit;
 248 }
 249 div.verseblock > div.attribution {
 250   padding-top: 0.75em;
 251   text-align: left;
 252 }
 253
 254 div.admonitionblock .icon {
 255   vertical-align: top;
 256   font-size: 1.1em;
 257   font-weight: bold;
 258   text-decoration: underline;
 259   color: #527bbd;
 260   padding-right: 0.5em;
 261 }
 262 div.admonitionblock td.content {
 263   padding-left: 0.5em;
 264   border-left: 3px solid #bbc;
 265 }
 266
 267 div.exampleblock > div.content {
 268   border-left: 3px solid #dddddd;
 269   padding-left: 0.5em;
 270 }
 271
 272 div.imageblock div.content { padding-left: 0; }
 273 span.image img { border-style: none; }
 274 a.image:visited { color: white; }
 275
 276 dl {
 277   margin-top: 0.8em;
 278   margin-bottom: 0.8em;
 279 }
 280 dt {
 281   margin-top: 0.5em;
 282   margin-bottom: 0;
 283   font-style: normal;
 284   color: navy;
 285 }
 286 dd > *:first-child {
 287   margin-top: 0.1em;
 288 }
 289
 290 ul, ol {
 291     list-style-position: outside;
 292 }
 293 ol.arabic {
 294   list-style-type: decimal;
 295 }
 296 ol.loweralpha {
 297   list-style-type: lower-alpha;
 298 }
 299 ol.upperalpha {
 300   list-style-type: upper-alpha;
 301 }
 302 ol.lowerroman {
 303   list-style-type: lower-roman;
 304 }
 305 ol.upperroman {
 306   list-style-type: upper-roman;
 307 }
 308
 309 div.compact ul, div.compact ol,
 310 div.compact p, div.compact p,
 311 div.compact div, div.compact div {
 312   margin-top: 0.1em;
 313   margin-bottom: 0.1em;
 314 }
 315
 316 tfoot {
 317   font-weight: bold;
 318 }
 319 td > div.verse {
 320   white-space: pre;
 321 }
 322
 323 div.hdlist {
 324   margin-top: 0.8em;
 325   margin-bottom: 0.8em;
 326 }
 327 div.hdlist tr {
 328   padding-bottom: 15px;
 329 }
 330 dt.hdlist1.strong, td.hdlist1.strong {
 331   font-weight: bold;
 332 }
 333 td.hdlist1 {
 334   vertical-align: top;
 335   font-style: normal;
 336   padding-right: 0.8em;
 337   color: navy;
 338 }
 339 td.hdlist2 {
 340   vertical-align: top;
 341 }
 342 div.hdlist.compact tr {
 343   margin: 0;
 344   padding-bottom: 0;
 345 }
 346
 347 .comment {
 348   background: yellow;
 349 }
 350
 351 .footnote, .footnoteref {
 352   font-size: 0.8em;
 353 }
 354
 355 span.footnote, span.footnoteref {
 356   vertical-align: super;
 357 }
 358
 359 #footnotes {
 360   margin: 20px 0 20px 0;
 361   padding: 7px 0 0 0;
 362 }
 363
 364 #footnotes div.footnote {
 365   margin: 0 0 5px 0;
 366 }
 367
 368 #footnotes hr {
 369   border: none;
 370   border-top: 1px solid silver;
 371   height: 1px;
 372   text-align: left;
 373   margin-left: 0;
 374   width: 20%;
 375   min-width: 100px;
 376 }
 377
 378 div.colist td {
 379   padding-right: 0.5em;
 380   padding-bottom: 0.3em;
 381   vertical-align: top;
 382 }
 383 div.colist td img {
 384   margin-top: 0.3em;
 385 }
 386
 387 #toc {
 388   margin-bottom: 2.5em;
 389 }
 390
 391 #toctitle {
 392   color: #527bbd;
 393   font-size: 1.1em;
 394   font-weight: bold;
 395   margin-top: 1.0em;
 396   margin-bottom: 0.1em;
 397 }
 398
 399 div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
 400   margin-top: 0;
 401   margin-bottom: 0;
 402 }
 403 div.toclevel2 {
 404   margin-left: 2em;
 405   font-size: 0.9em;
 406 }
 407 div.toclevel3 {
 408   margin-left: 4em;
 409   font-size: 0.9em;
 410 }
 411 div.toclevel4 {
 412   margin-left: 6em;
 413   font-size: 0.9em;
 414 }
 415
 416 span.aqua { color: aqua; }
 417 span.black { color: black; }
 418 span.blue { color: blue; }
 419 span.fuchsia { color: fuchsia; }
 420 span.gray { color: gray; }
 421 span.green { color: green; }
 422 span.lime { color: lime; }
 423 span.maroon { color: maroon; }
 424 span.navy { color: navy; }
 425 span.olive { color: olive; }
 426 span.purple { color: purple; }
 427 span.red { color: red; }
 428 span.silver { color: silver; }
 429 span.teal { color: teal; }
 430 span.white { color: white; }
 431 span.yellow { color: yellow; }
 432
 433 span.aqua-background { background: aqua; }
 434 span.black-background { background: black; }
 435 span.blue-background { background: blue; }
 436 span.fuchsia-background { background: fuchsia; }
 437 span.gray-background { background: gray; }
 438 span.green-background { background: green; }
 439 span.lime-background { background: lime; }
 440 span.maroon-background { background: maroon; }
 441 span.navy-background { background: navy; }
 442 span.olive-background { background: olive; }
 443 span.purple-background { background: purple; }
 444 span.red-background { background: red; }
 445 span.silver-background { background: silver; }
 446 span.teal-background { background: teal; }
 447 span.white-background { background: white; }
 448 span.yellow-background { background: yellow; }
 449
 450 span.big { font-size: 2em; }
 451 span.small { font-size: 0.6em; }
 452
 453 span.underline { text-decoration: underline; }
 454 span.overline { text-decoration: overline; }
 455 span.line-through { text-decoration: line-through; }
 456
 457
 458 /*
 459  * xhtml11 specific
 460  *
 461  * */
 462
 463 tt {
 464   font-family: monospace;
 465   font-size: inherit;
 466   color: #333;
 467 }
 468
 469 div.tableblock {
 470   margin-top: 1.0em;
 471   margin-bottom: 1.5em;
 472 }
 473 div.tableblock > table {
 474   border: 3px solid #336;
 475 }
 476 thead, p.table.header {
 477   font-weight: bold;
 478   color: #334;
 479 }
 480 p.table {
 481   margin-top: 0;
 482 }
 483 /* Because the table frame attribute is overriden by CSS in most browsers. */
 484 div.tableblock > table[frame="void"] {
 485   border-style: none;
 486 }
 487 div.tableblock > table[frame="hsides"] {
 488   border-left-style: none;
 489   border-right-style: none;
 490 }
 491 div.tableblock > table[frame="vsides"] {
 492   border-top-style: none;
 493   border-bottom-style: none;
 494 }