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

   1 /*
   2   CSS stylesheet for XHTML produced by DocBook XSL stylesheets.
   3 */
   4
   5 body {
   6     font-family: "Frutiger LT Std 45 Light",sans-serif;
   7     font-size: 14pt;
   8 }
   9
  10 code, pre {
  11   font-family: "DejaVu Sans Mono", monospace;
  12 }
  13
  14 span.strong {
  15   font-weight: bold;
  16 }
  17
  18 body blockquote {
  19   margin-top: .75em;
  20   line-height: 1.5;
  21   margin-bottom: .75em;
  22 }
  23
  24 html body {
  25   margin: 1em 5% 1em 5%;
  26   line-height: 1.2;
  27 }
  28
  29 body div {
  30   margin: 0;
  31 }
  32
  33 a:link {
  34     color: #0080ff;
  35 }
  36
  37 a:visited {
  38     color: #0080ff;
  39 }
  40
  41 h1, h2, h3, h4, h5, h6
  42 {
  43   color: #0080ff;
  44   font-family: "Frutiger LT Std 45 Light",sans-serif;
  45 }
  46
  47 div.revhistory table {
  48     width: 50%;
  49     border-width: 1px;
  50 }
  51
  52 div titlepage {
  53     margin-top: 100px;
  54     border-top: 2px;
  55 }
  56
  57 div.toc p:first-child,
  58 div.list-of-figures p:first-child,
  59 div.list-of-tables p:first-child,
  60 div.list-of-examples p:first-child,
  61 div.example p.title,
  62 div.sidebar p.title
  63 {
  64   font-weight: normal;
  65   color: #0080ff;
  66   font-family: "Frutiger LT Std 45 Light",sans-serif;
  67   margin-bottom: 0.2em;
  68 }
  69
  70 body h1 {
  71   margin: .0em 0 0 -4%;
  72   line-height: 1.3;
  73   border-bottom: 2px solid silver;
  74 }
  75
  76 body h2 {
  77   margin: 0.5em 0 0 -4%;
  78   line-height: 1.3;
  79   border-bottom: 2px solid silver;
  80 }
  81
  82 body h3 {
  83   margin: .8em 0 0 -3%;
  84   line-height: 1.3;
  85 }
  86
  87 body h4 {
  88   margin: .8em 0 0 -3%;
  89   line-height: 1.3;
  90   border-top: 2px solid silver;goog
  91 }
  92
  93 body h5 {
  94   margin: .8em 0 0 -2%;
  95   line-height: 1.3;
  96 }
  97
  98 body h6 {
  99   margin: .8em 0 0 -1%;
 100   line-height: 1.3;
 101 }
 102
 103 body hr {
 104   border: none; /* Broken on IE6 */
 105 }
 106 div.footnotes hr {
 107   border: 1px solid silver;
 108 }
 109
 110 div.navheader th, div.navheader td, div.navfooter td {
 111     font-family: "Frutiger LT Std 45 Light",sans-serif;
 112     font-size: 14pt;
 113     font-weight: normal;
 114     color: #0080ff;
 115 }
 116 div.navheader img, div.navfooter img {
 117   border-style: none;
 118 }
 119 div.navheader a, div.navfooter a {
 120   font-weight: normal;
 121 }
 122 div.navfooter hr {
 123   border: 1px solid silver;
 124 }
 125
 126 body td {
 127   line-height: 1.2
 128 }
 129
 130 body th {
 131   line-height: 1.2;
 132 }
 133
 134 ol {
 135   line-height: 1.2;
 136 }
 137
 138 ul, body dir, body menu {
 139   line-height: 1.2;
 140 }
 141
 142 html {
 143   margin: 0;
 144   padding: 0;
 145 }
 146
 147 body h1, body h2, body h3, body h4, body h5, body h6 {
 148   margin-left: 0
 149 }
 150
 151 body pre {
 152   margin: 0.5em 10% 0.5em 1em;
 153   line-height: 1.0;
 154 }
 155
 156 tt.literal, code.literal {
 157 }
 158
 159 .programlisting, .screen {
 160   border: 1px solid silver;
 161   background: #f4f4f4;
 162   margin: 0.5em 10% 0.5em 0;
 163   padding: 0.5em 1em;
 164 }
 165
 166 div.sidebar {
 167   background: #ffffee;
 168   margin: 1.0em 10% 0.5em 0;
 169   padding: 0.5em 1em;
 170   border: 1px solid silver;
 171 }
 172 div.sidebar * { padding: 0; }
 173 div.sidebar div { margin: 0; }
 174 div.sidebar p.title {
 175   margin-top: 0.5em;
 176   margin-bottom: 0.2em;
 177 }
 178
 179 div.bibliomixed {
 180   margin: 0.5em 5% 0.5em 1em;
 181 }
 182
 183 div.glossary dt {
 184   font-weight: bold;
 185 }
 186 div.glossary dd p {
 187   margin-top: 0.2em;
 188 }
 189
 190 dl {
 191   margin: .8em 0;
 192   line-height: 1.2;
 193 }
 194
 195 dt {
 196   margin-top: 0.5em;
 197 }
 198
 199 dt span.term {
 200   font-style: normal;
 201 }
 202
 203 div.variablelist dd p {
 204   margin-top: 0;
 205 }
 206
 207 div.itemizedlist li, div.orderedlist li {
 208   margin-left: -0.8em;
 209   margin-top: 0.5em;
 210 }
 211
 212 ul, ol {
 213     list-style-position: outside;
 214 }
 215
 216 div.sidebar ul, div.sidebar ol {
 217     margin-left: 2.8em;
 218 }
 219
 220 div.itemizedlist p.title,
 221 div.orderedlist p.title,
 222 div.variablelist p.title
 223 {
 224   margin-bottom: -0.8em;
 225 }
 226
 227 table {
 228     border: none;
 229 }
 230
 231 div.revhistory {
 232     border-style: none;
 233 }
 234
 235 div.revhistory table, th, td, tr {
 236     margin-top: 1em;
 237     border-width: 1px;
 238     border-collapse: collapse;
 239     border-top: 1px;
 240     border-bottom: 1px;
 241     border-left: 1px;
 242     border-right: 1px;
 243     border: 1px solid black;
 244 }
 245 div.revhistory th {
 246   color: #0080ff;
 247   font-family: "Frutiger LT Std 45 Light",sans-serif;
 248 }
 249
 250 /* Keep TOC and index lines close together. */
 251 div.toc dl, div.toc dt,
 252 div.list-of-figures dl, div.list-of-figures dt,
 253 div.list-of-tables dl, div.list-of-tables dt,
 254 div.indexdiv dl, div.indexdiv dt
 255 {
 256   line-height: normal;
 257   margin-top: 0;
 258   margin-bottom: 0;
 259 }
 260
 261 /*
 262   Table styling does not work because of overriding attributes in
 263   generated HTML.
 264 */
 265 div.table table,
 266 div.informaltable table
 267 {
 268     margin-left: 0;
 269     margin-right: 5%;
 270     margin-bottom: 0.8em;
 271 }
 272 div.informaltable table
 273 {
 274     margin-top: 0.4em
 275 }
 276 div.table thead,
 277 div.table tfoot,
 278 div.table tbody,
 279 div.informaltable thead,
 280 div.informaltable tfoot,
 281 div.informaltable tbody
 282 {
 283     /* No effect in IE6. */
 284     border-top: 3px solid #527bbd;
 285     border-bottom: 3px solid #527bbd;
 286 }
 287 div.table thead, div.table tfoot,
 288 div.informaltable thead, div.informaltable tfoot
 289 {
 290     font-weight: bold;
 291 }
 292
 293 div.mediaobject img {
 294     margin-bottom: 0.8em;
 295 }
 296 div.figure p.title,
 297 div.table p.title
 298 {
 299   margin-top: 1em;
 300   margin-bottom: 0.4em;
 301 }
 302
 303 div.calloutlist p
 304 {
 305   margin-top: 0em;
 306   margin-bottom: 0.4em;
 307 }
 308
 309 a img {
 310   border-style: none;
 311 }
 312
 313 @media print {
 314   div.navheader, div.navfooter { display: none; }
 315 }
 316
 317 span.aqua { color: aqua; }
 318 span.black { color: black; }
 319 span.blue { color: blue; }
 320 span.fuchsia { color: fuchsia; }
 321 span.gray { color: gray; }
 322 span.green { color: green; }
 323 span.lime { color: lime; }
 324 span.maroon { color: maroon; }
 325 span.navy { color: navy; }
 326 span.olive { color: olive; }
 327 span.purple { color: purple; }
 328 span.red { color: red; }
 329 span.silver { color: silver; }
 330 span.teal { color: teal; }
 331 span.white { color: white; }
 332 span.yellow { color: yellow; }
 333
 334 span.aqua-background { background: aqua; }
 335 span.black-background { background: black; }
 336 span.blue-background { background: blue; }
 337 span.fuchsia-background { background: fuchsia; }
 338 span.gray-background { background: gray; }
 339 span.green-background { background: green; }
 340 span.lime-background { background: lime; }
 341 span.maroon-background { background: maroon; }
 342 span.navy-background { background: navy; }
 343 span.olive-background { background: olive; }
 344 span.purple-background { background: purple; }
 345 span.red-background { background: red; }
 346 span.silver-background { background: silver; }
 347 span.teal-background { background: teal; }
 348 span.white-background { background: white; }
 349 span.yellow-background { background: yellow; }
 350
 351 span.big { font-size: 2em; }
 352 span.small { font-size: 0.6em; }
 353
 354 span.underline { text-decoration: underline; }
 355 span.overline { text-decoration: overline; }
 356 span.line-through { text-decoration: line-through; }