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: #78079a;
  91 }
  92
  93 a:visited {
  94     color: #78079a;
  95 }
  96
  97 h1, h2, h3, h4, h5, h6
  98 {
  99   color: #78079a;
 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 h3.corpauthor img {
 123     position: fixed;
 124     left: 0px;
 125     top: 0px;
 126     width: 410px;
 127     height: 90px;
 128     border-right: 2px solid #78079a;
 129     border-bottom: 2px solid #78079a;
 130 }
 131
 132 div.toc {
 133     position: fixed;
 134     left: 0px;
 135     top: 92px;
 136     bottom: 0;
 137     width: 410px;
 138     margin-right: 5ex;
 139     margin-left: 0px;
 140     float: left;
 141     border-right: 2px solid #78079a;
 142     border-collapse: collapse;
 143     overflow: auto;
 144 }
 145
 146 div.toc a:link {
 147     text-decoration: none;
 148 }
 149
 150 div.toc a:visited {
 151     text-decoration: none;
 152 }
 153
 154 div.toc a:hover {
 155     text-decoration: underline;
 156 }
 157
 158 div.toc a:active {
 159     text-decoration: underline;
 160 }
 161
 162 div.book {
 163     margin-left: 25em;
 164 }
 165
 166 div.list-of-figures {
 167     display: none;
 168 }
 169
 170 div.list-of-tables {
 171     display: none;
 172 }
 173
 174 div.figure p {
 175     text-align: center;
 176 }
 177 div.figure img {
 178     display: block;
 179     margin: auto;
 180 }
 181
 182 div.table p.title {
 183     text-align: center;
 184 }
 185
 186 div.table-contents table {
 187     margin-left: auto;
 188     margin-right: auto;
 189 }
 190
 191 div.toc p:first-child,
 192 div.list-of-figures p:first-child,
 193 div.list-of-tables p:first-child,
 194 div.list-of-examples p:first-child,
 195 div.example p.title,
 196 div.sidebar p.title
 197 {
 198   font-weight: normal;
 199   color: #78079a;
 200   font-family: "Open Sans",sans-serif;
 201   margin-bottom: 0.2em;
 202 }
 203
 204 body h1 {
 205   margin: .0em 0 0 -4%;
 206   line-height: 1.3;
 207   border-bottom: 2px solid silver;
 208 }
 209
 210 body h2 {
 211   margin: 0.5em 0 0 -4%;
 212   line-height: 1.3;
 213   border-bottom: 2px solid silver;
 214 }
 215
 216 body h3 {
 217   margin: .8em 0 0 -3%;
 218   line-height: 1.3;
 219 }
 220
 221 body h4 {
 222   margin: .8em 0 0 -3%;
 223   line-height: 1.3;
 224   border-top: 2px solid silver;goog
 225 }
 226
 227 body h5 {
 228   margin: .8em 0 0 -2%;
 229   line-height: 1.3;
 230 }
 231
 232 body h6 {
 233   margin: .8em 0 0 -1%;
 234   line-height: 1.3;
 235 }
 236
 237 body hr {
 238   border: none; /* Broken on IE6 */
 239 }
 240 div.footnotes hr {
 241   border: 1px solid silver;
 242 }
 243
 244 div.navheader th, div.navheader td, div.navfooter td {
 245     font-family: "Open Sans",sans-serif;
 246     font-size: 12pt;
 247     font-weight: normal;
 248     color: #78079a;
 249 }
 250 div.navheader img, div.navfooter img {
 251   border-style: none;
 252 }
 253 div.navheader a, div.navfooter a {
 254   font-weight: normal;
 255 }
 256 div.navfooter hr {
 257   border: 1px solid silver;
 258 }
 259
 260 body td {
 261   line-height: 1.2
 262 }
 263
 264 body th {
 265   line-height: 1.2;
 266 }
 267
 268 ol {
 269   line-height: 1.2;
 270 }
 271
 272 ul, body dir, body menu {
 273   line-height: 1.2;
 274 }
 275
 276 html {
 277   margin: 0;
 278   padding: 0;
 279 }
 280
 281 body h1, body h2, body h3, body h4, body h5, body h6 {
 282   margin-left: 0
 283 }
 284
 285 body pre {
 286   margin: 0.5em 10% 0.5em 1em;
 287   line-height: 1.0;
 288 }
 289
 290 tt.literal, code.literal {
 291 }
 292
 293 .programlisting, .screen {
 294   border: 1px solid silver;
 295   background: #f4f4f4;
 296   margin: 0.5em 10% 0.5em 0;
 297   padding: 0.5em 1em;
 298 }
 299
 300 div.sidebar {
 301   background: #ffffee;
 302   margin: 1.0em 10% 0.5em 0;
 303   padding: 0.5em 1em;
 304   border: 1px solid silver;
 305 }
 306 div.sidebar * { padding: 0; }
 307 div.sidebar div { margin: 0; }
 308 div.sidebar p.title {
 309   margin-top: 0.5em;
 310   margin-bottom: 0.2em;
 311 }
 312
 313 div.bibliomixed {
 314   margin: 0.5em 5% 0.5em 1em;
 315 }
 316
 317 div.glossary dt {
 318   font-weight: bold;
 319 }
 320 div.glossary dd p {
 321   margin-top: 0.2em;
 322 }
 323
 324 dl {
 325   margin: .8em 0;
 326   line-height: 1.2;
 327 }
 328
 329 dt {
 330   margin-top: 0.5em;
 331 }
 332
 333 dt span.term {
 334   font-style: normal;
 335 }
 336
 337 div.variablelist dd p {
 338   margin-top: 0;
 339 }
 340
 341 div.itemizedlist li, div.orderedlist li {
 342   margin-left: -0.8em;
 343   margin-top: 0.5em;
 344 }
 345
 346 ul, ol {
 347     list-style-position: outside;
 348 }
 349
 350 div.sidebar ul, div.sidebar ol {
 351     margin-left: 2.8em;
 352 }
 353
 354 div.itemizedlist p.title,
 355 div.orderedlist p.title,
 356 div.variablelist p.title
 357 {
 358   margin-bottom: -0.8em;
 359 }
 360
 361 div.revhistory {
 362     border-style: none;
 363 }
 364
 365 div.revhistory table, div.revhistory th, div.revhistory td {
 366     border-collapse: collapse;
 367     border: 1px solid #78079a;
 368     padding: 0.25em;
 369 }
 370
 371 div.revhistory th {
 372   color: #78079a;
 373 }
 374
 375 /* Keep TOC and index lines close together. */
 376 div.toc dl, div.toc dt,
 377 div.list-of-figures dl, div.list-of-figures dt,
 378 div.list-of-tables dl, div.list-of-tables dt,
 379 div.indexdiv dl, div.indexdiv dt
 380 {
 381   line-height: normal;
 382   margin-top: 0;
 383   margin-bottom: 0;
 384 }
 385
 386 /*
 387   Table styling does not work because of overriding attributes in
 388   generated HTML.
 389 */
 390 div.table-contents p,
 391 div.informaltable p
 392 {
 393     margin: 0px;
 394 }
 395 /*
 396 div.table table,
 397 div.informaltable table
 398 {
 399     margin-left: 0;
 400     margin-right: 0.25em;
 401     margin-bottom: 0.25em;
 402 }
 403 div.informaltable table
 404 {
 405     margin-top: 0.4em
 406 }
 407 div.table thead,
 408 div.table tfoot,
 409 div.table tbody,
 410 div.informaltable thead,
 411 div.informaltable tfoot,
 412 div.informaltable tbody
 413 {
 414     /* No effect in IE6. */
 415     border-top: 1px solid #78079a;
 416     border-bottom: 1px solid #78079a;
 417     border-left: 1px solid #78079a;
 418     border-right: 1px solid #78079a !important;
 419     border-width: 1px !important;
 420 }
 421 */
 422
 423
 424 div.table thead, div.table tfoot,
 425 div.informaltable thead, div.informaltable tfoot
 426 {
 427     font-weight: bold;
 428 }
 429
 430 div.mediaobject img {
 431     margin-bottom: 0.8em;
 432 }
 433 div.figure p.title,
 434 div.table p.title
 435 {
 436   margin-top: 1em;
 437   margin-bottom: 0.4em;
 438 }
 439
 440 div.calloutlist p
 441 {
 442   margin-top: 0em;
 443   margin-bottom: 0.4em;
 444 }
 445
 446 a img {
 447   border-style: none;
 448 }
 449
 450 @media print {
 451   div.navheader, div.navfooter { display: none; }
 452 }
 453
 454 span.aqua { color: aqua; }
 455 span.black { color: black; }
 456 span.blue { color: blue; }
 457 span.fuchsia { color: fuchsia; }
 458 span.gray { color: gray; }
 459 span.green { color: green; }
 460 span.lime { color: lime; }
 461 span.maroon { color: maroon; }
 462 span.navy { color: navy; }
 463 span.olive { color: olive; }
 464 span.purple { color: purple; }
 465 span.red { color: red; }
 466 span.silver { color: silver; }
 467 span.teal { color: teal; }
 468 span.white { color: white; }
 469 span.yellow { color: yellow; }
 470
 471 span.aqua-background { background: aqua; }
 472 span.black-background { background: black; }
 473 span.blue-background { background: blue; }
 474 span.fuchsia-background { background: fuchsia; }
 475 span.gray-background { background: gray; }
 476 span.green-background { background: green; }
 477 span.lime-background { background: lime; }
 478 span.maroon-background { background: maroon; }
 479 span.navy-background { background: navy; }
 480 span.olive-background { background: olive; }
 481 span.purple-background { background: purple; }
 482 span.red-background { background: red; }
 483 span.silver-background { background: silver; }
 484 span.teal-background { background: teal; }
 485 span.white-background { background: white; }
 486 span.yellow-background { background: yellow; }
 487
 488 span.big { font-size: 2em; }
 489 span.small { font-size: 0.6em; }
 490
 491 span.underline { text-decoration: underline; }
 492 span.overline { text-decoration: overline; }
 493 span.line-through { text-decoration: line-through; }