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