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