git.gag.com Git - fw/altos/blob - doc/am.css

   1 /*
   2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
   3 */
   4
   5 @font-face {
   6     font-family: 'Open Sans';
   7     src: url('fonts/OpenSans-Regular.ttf');
   8     font-weight: normal;
   9     font-style: normal;
  10 }
  11
  12 @font-face {
  13     font-family: 'Open Sans';
  14     src: url('fonts/OpenSans-Italic.ttf');
  15     font-weight: normal;
  16     font-style: italic;
  17 }
  18
  19 @font-face {
  20     font-family: 'Open Sans';
  21     src: url('fonts/OpenSans-Semibold.ttf');
  22     font-weight: bold;
  23     font-style: normal;
  24 }
  25
  26 @font-face {
  27     font-family: 'Open Sans';
  28     src: url('fonts/OpenSans-SemiboldItalic.ttf');
  29     font-weight: bold;
  30     font-style: italic;
  31 }
  32
  33 @font-face {
  34     font-family: 'DejaVu Sans Mono';
  35     src: url('fonts/DejaVuSansMono.ttf');
  36     font-weight: normal;
  37     font-style: normal;
  38 }
  39
  40 @font-face {
  41     font-family: 'DejaVu Sans Mono';
  42     src: url('fonts/DejaVuSansMono-Oblique.ttf');
  43     font-weight: normal;
  44     font-style: oblique;
  45 }
  46
  47 @font-face {
  48     font-family: 'DejaVu Sans Mono';
  49     src: url('fonts/DejaVuSansMono-Bold.ttf');
  50     font-weight: bold;
  51     font-style: normal;
  52 }
  53
  54 @font-face {
  55     font-family: 'DejaVu Sans Mono';
  56     src: url('fonts/DejaVuSansMono-BoldOblique.ttf');
  57     font-weight: bold;
  58     font-style: oblique;
  59 }
  60
  61 body {
  62     font-family: "Open Sans",sans-serif;
  63     font-size: 12pt;
  64 }
  65
  66 code, pre {
  67   font-family: "DejaVu Sans Mono", monospace;
  68 }
  69
  70 span.strong {
  71   font-weight: bold;
  72 }
  73
  74 body blockquote {
  75   margin-top: .75em;
  76   line-height: 1.5;
  77   margin-bottom: .75em;
  78 }
  79
  80 html body {
  81   margin: 1em 5% 1em 5%;
  82   line-height: 1.2;
  83 }
  84
  85 body div {
  86   margin: 0;
  87 }
  88
  89 a:link {
  90     color: #0080ff;
  91 }
  92
  93 a:visited {
  94     color: #0080ff;
  95 }
  96
  97 h1, h2, h3, h4, h5, h6
  98 {
  99   color: #0080ff;
 100   font-family: "Open Sans",sans-serif;
 101 }
 102
 103 div.revhistory table {
 104     width: 50%;
 105     border-width: 1px;
 106 }
 107
 108 div titlepage {
 109     margin-top: 100px;
 110     border-top: 2px;
 111 }
 112
 113 div.warning h1, div.warning h2, div.warning h3, div.warning h4, div.warning h5, div.warning h6 {
 114     color: #ff2020;
 115 }
 116
 117 div.warning p, div.note p, div.error p {
 118     margin-left: 5%;
 119     margin-left: 5%;
 120 }
 121
 122 div.toc {
 123     position: fixed;
 124     left: 0px;
 125     top: 0px;
 126     height: 100%;
 127     width: 25em;
 128     margin-right: 5ex;
 129     margin-left: 0px;
 130     float: left;
 131     border-right: 2px solid #0080ff;
 132     border-collapse: collapse;
 133     overflow: auto;
 134 }
 135
 136 div.toc a:link {
 137     text-decoration: none;
 138 }
 139
 140 div.toc a:visited {
 141     text-decoration: none;
 142 }
 143
 144 div.toc a:hover {
 145     text-decoration: underline;
 146 }
 147
 148 div.toc a:active {
 149     text-decoration: underline;
 150 }
 151
 152 div.book {
 153     margin-left: 25em;
 154 }
 155
 156 div.list-of-figures {
 157     display: none;
 158 }
 159
 160 div.list-of-tables {
 161     display: none;
 162 }
 163
 164 div.figure p {
 165     text-align: center;
 166 }
 167 div.figure img {
 168     display: block;
 169     margin: auto;
 170 }
 171
 172 div.table p.title {
 173     text-align: center;
 174 }
 175
 176 div.table-contents table {
 177     margin-left: auto;
 178     margin-right: auto;
 179 }
 180
 181 div.toc p:first-child,
 182 div.list-of-figures p:first-child,
 183 div.list-of-tables p:first-child,
 184 div.list-of-examples p:first-child,
 185 div.example p.title,
 186 div.sidebar p.title
 187 {
 188   font-weight: normal;
 189   color: #0080ff;
 190   font-family: "Open Sans",sans-serif;
 191   margin-bottom: 0.2em;
 192 }
 193
 194 body h1 {
 195   margin: .0em 0 0 -4%;
 196   line-height: 1.3;
 197   border-bottom: 2px solid silver;
 198 }
 199
 200 body h2 {
 201   margin: 0.5em 0 0 -4%;
 202   line-height: 1.3;
 203   border-bottom: 2px solid silver;
 204 }
 205
 206 body h3 {
 207   margin: .8em 0 0 -3%;
 208   line-height: 1.3;
 209 }
 210
 211 body h4 {
 212   margin: .8em 0 0 -3%;
 213   line-height: 1.3;
 214   border-top: 2px solid silver;goog
 215 }
 216
 217 body h5 {
 218   margin: .8em 0 0 -2%;
 219   line-height: 1.3;
 220 }
 221
 222 body h6 {
 223   margin: .8em 0 0 -1%;
 224   line-height: 1.3;
 225 }
 226
 227 body hr {
 228   border: none; /* Broken on IE6 */
 229 }
 230 div.footnotes hr {
 231   border: 1px solid silver;
 232 }
 233
 234 div.navheader th, div.navheader td, div.navfooter td {
 235     font-family: "Open Sans",sans-serif;
 236     font-size: 12pt;
 237     font-weight: normal;
 238     color: #0080ff;
 239 }
 240 div.navheader img, div.navfooter img {
 241   border-style: none;
 242 }
 243 div.navheader a, div.navfooter a {
 244   font-weight: normal;
 245 }
 246 div.navfooter hr {
 247   border: 1px solid silver;
 248 }
 249
 250 body td {
 251   line-height: 1.2
 252 }
 253
 254 body th {
 255   line-height: 1.2;
 256 }
 257
 258 ol {
 259   line-height: 1.2;
 260 }
 261
 262 ul, body dir, body menu {
 263   line-height: 1.2;
 264 }
 265
 266 html {
 267   margin: 0;
 268   padding: 0;
 269 }
 270
 271 body h1, body h2, body h3, body h4, body h5, body h6 {
 272   margin-left: 0
 273 }
 274
 275 body pre {
 276   margin: 0.5em 10% 0.5em 1em;
 277   line-height: 1.0;
 278 }
 279
 280 tt.literal, code.literal {
 281 }
 282
 283 .programlisting, .screen {
 284   border: 1px solid silver;
 285   background: #f4f4f4;
 286   margin: 0.5em 10% 0.5em 0;
 287   padding: 0.5em 1em;
 288 }
 289
 290 div.sidebar {
 291   background: #ffffee;
 292   margin: 1.0em 10% 0.5em 0;
 293   padding: 0.5em 1em;
 294   border: 1px solid silver;
 295 }
 296 div.sidebar * { padding: 0; }
 297 div.sidebar div { margin: 0; }
 298 div.sidebar p.title {
 299   margin-top: 0.5em;
 300   margin-bottom: 0.2em;
 301 }
 302
 303 div.bibliomixed {
 304   margin: 0.5em 5% 0.5em 1em;
 305 }
 306
 307 div.glossary dt {
 308   font-weight: bold;
 309 }
 310 div.glossary dd p {
 311   margin-top: 0.2em;
 312 }
 313
 314 dl {
 315   margin: .8em 0;
 316   line-height: 1.2;
 317 }
 318
 319 dt {
 320   margin-top: 0.5em;
 321 }
 322
 323 dt span.term {
 324   font-style: normal;
 325 }
 326
 327 div.variablelist dd p {
 328   margin-top: 0;
 329 }
 330
 331 div.itemizedlist li, div.orderedlist li {
 332   margin-left: -0.8em;
 333   margin-top: 0.5em;
 334 }
 335
 336 ul, ol {
 337     list-style-position: outside;
 338 }
 339
 340 div.sidebar ul, div.sidebar ol {
 341     margin-left: 2.8em;
 342 }
 343
 344 div.itemizedlist p.title,
 345 div.orderedlist p.title,
 346 div.variablelist p.title
 347 {
 348   margin-bottom: -0.8em;
 349 }
 350
 351 table {
 352     border: none;
 353 }
 354
 355 div.revhistory {
 356     border-style: none;
 357 }
 358
 359 div.revhistory table, th, td, tr {
 360     margin-top: 1em;
 361     border-width: 1px;
 362     border-collapse: collapse;
 363     border-top: 1px;
 364     border-bottom: 1px;
 365     border-left: 1px;
 366     border-right: 1px;
 367     border: 1px solid black;
 368 }
 369 div.revhistory th {
 370   color: #0080ff;
 371 }
 372
 373 /* Keep TOC and index lines close together. */
 374 div.toc dl, div.toc dt,
 375 div.list-of-figures dl, div.list-of-figures dt,
 376 div.list-of-tables dl, div.list-of-tables dt,
 377 div.indexdiv dl, div.indexdiv dt
 378 {
 379   line-height: normal;
 380   margin-top: 0;
 381   margin-bottom: 0;
 382 }
 383
 384 /*
 385   Table styling does not work because of overriding attributes in
 386   generated HTML.
 387 */
 388 div.table table,
 389 div.informaltable table
 390 {
 391     margin-left: 0;
 392     margin-right: 5%;
 393     margin-bottom: 0.8em;
 394 }
 395 div.informaltable table
 396 {
 397     margin-top: 0.4em
 398 }
 399 div.table thead,
 400 div.table tfoot,
 401 div.table tbody,
 402 div.informaltable thead,
 403 div.informaltable tfoot,
 404 div.informaltable tbody
 405 {
 406     /* No effect in IE6. */
 407     border-top: 3px solid #527bbd;
 408     border-bottom: 3px solid #527bbd;
 409 }
 410 div.table thead, div.table tfoot,
 411 div.informaltable thead, div.informaltable tfoot
 412 {
 413     font-weight: bold;
 414 }
 415
 416 div.mediaobject img {
 417     margin-bottom: 0.8em;
 418 }
 419 div.figure p.title,
 420 div.table p.title
 421 {
 422   margin-top: 1em;
 423   margin-bottom: 0.4em;
 424 }
 425
 426 div.calloutlist p
 427 {
 428   margin-top: 0em;
 429   margin-bottom: 0.4em;
 430 }
 431
 432 a img {
 433   border-style: none;
 434 }
 435
 436 @media print {
 437   div.navheader, div.navfooter { display: none; }
 438 }
 439
 440 span.aqua { color: aqua; }
 441 span.black { color: black; }
 442 span.blue { color: blue; }
 443 span.fuchsia { color: fuchsia; }
 444 span.gray { color: gray; }
 445 span.green { color: green; }
 446 span.lime { color: lime; }
 447 span.maroon { color: maroon; }
 448 span.navy { color: navy; }
 449 span.olive { color: olive; }
 450 span.purple { color: purple; }
 451 span.red { color: red; }
 452 span.silver { color: silver; }
 453 span.teal { color: teal; }
 454 span.white { color: white; }
 455 span.yellow { color: yellow; }
 456
 457 span.aqua-background { background: aqua; }
 458 span.black-background { background: black; }
 459 span.blue-background { background: blue; }
 460 span.fuchsia-background { background: fuchsia; }
 461 span.gray-background { background: gray; }
 462 span.green-background { background: green; }
 463 span.lime-background { background: lime; }
 464 span.maroon-background { background: maroon; }
 465 span.navy-background { background: navy; }
 466 span.olive-background { background: olive; }
 467 span.purple-background { background: purple; }
 468 span.red-background { background: red; }
 469 span.silver-background { background: silver; }
 470 span.teal-background { background: teal; }
 471 span.white-background { background: white; }
 472 span.yellow-background { background: yellow; }
 473
 474 span.big { font-size: 2em; }
 475 span.small { font-size: 0.6em; }
 476
 477 span.underline { text-decoration: underline; }
 478 span.overline { text-decoration: overline; }
 479 span.line-through { text-decoration: line-through; }