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     margin: 0;
  65 }
  66
  67 code, pre {
  68   font-family: "DejaVu Sans Mono", monospace;
  69 }
  70
  71 span.strong {
  72   font-weight: bold;
  73 }
  74
  75 body blockquote {
  76   margin-top: .75em;
  77   line-height: 1.5;
  78   margin-bottom: .75em;
  79 }
  80
  81 a:link {
  82     color: #78079a;
  83 }
  84
  85 a:visited {
  86     color: #78079a;
  87 }
  88
  89 h1, h2, h3, h4, h5, h6
  90 {
  91   color: #78079a;
  92   font-family: "Open Sans",sans-serif;
  93 }
  94
  95 div#content, div#header, div#footer {
  96     margin-left: 440px;
  97     margin-right: 2em;
  98     margin-top: 2em;
  99     margin-bottom: 2em;
 100 }
 101
 102 div.toc {
 103     position: fixed;
 104     left: 0px;
 105     top: 92px;
 106     bottom: 0;
 107     width: 390px;
 108     margin-right: 0;
 109     margin-left: 0;
 110     padding-left: 10px;
 111     padding-right: 10px;
 112     float: left;
 113     border-right: 2px solid #808080;
 114     border-collapse: collapse;
 115     overflow: auto;
 116 }
 117
 118 div#logo img {
 119     position: fixed;
 120     left: 0px;
 121     top: 0px;
 122     width: 410px;
 123     height: 92px;
 124     margin-top: 0px;
 125     margin-bottom: 0px;
 126     border-right: 2px solid #808080;
 127     border-bottom: 2px solid #808080;
 128 }
 129
 130 td.icon {
 131     width: 4em;
 132     height: 3em;
 133 }
 134
 135 td.icon img {
 136     height: 100%;
 137     width: 100%
 138 }
 139
 140 div.toc a:link {
 141     text-decoration: none;
 142 }
 143
 144 div.toc a:visited {
 145     text-decoration: none;
 146 }
 147
 148 div.toc a:hover {
 149     text-decoration: underline;
 150 }
 151
 152 div.toc a:active {
 153     text-decoration: underline;
 154 }
 155
 156 div.details {
 157     padding-top: 1em;
 158     padding-left: 3em;
 159 }
 160
 161 span.author {
 162     font-weight: bold;
 163     color: #78079a;
 164 }
 165
 166 span.email {
 167     font-size: 10pt;
 168 }
 169
 170 span#revnumber {
 171     font-size: 8pt;
 172 }
 173
 174 span#revdate {
 175     font-size: 8pt;
 176 }
 177
 178 span#revremark {
 179     font-size: 8pt;
 180 }
 181
 182 div#footer {
 183     border-top: 2px solid #808080;
 184 }
 185
 186 body h1 {
 187   margin: .0em 0 0 -4%;
 188   line-height: 1.3;
 189   border-bottom: 2px solid #808080;
 190 }
 191
 192 body h2 {
 193   margin: 0.5em 0 0 -4%;
 194   line-height: 1.3;
 195   border-bottom: 2px solid #808080;
 196 }
 197
 198 body h3 {
 199   margin: .8em 0 0 -3%;
 200   line-height: 1.3;
 201 }
 202
 203 body h4 {
 204   margin: .8em 0 0 -3%;
 205   line-height: 1.3;
 206 }
 207
 208 body h5 {
 209   margin: .8em 0 0 -2%;
 210   line-height: 1.3;
 211 }
 212
 213 body h6 {
 214   margin: .8em 0 0 -1%;
 215   line-height: 1.3;
 216 }
 217
 218 body hr {
 219   border: none; /* Broken on IE6 */
 220 }
 221
 222 body td {
 223   line-height: 1.2
 224 }
 225
 226 body th {
 227   line-height: 1.2;
 228 }
 229
 230 ol {
 231   line-height: 1.2;
 232 }
 233
 234 ul, body dir, body menu {
 235   line-height: 1.2;
 236 }
 237
 238 body h1, body h2, body h3, body h4, body h5, body h6 {
 239   margin-left: 0
 240 }
 241
 242 body pre {
 243   margin: 0.5em 10% 0.5em 1em;
 244   line-height: 1.0;
 245 }
 246
 247 tt.literal, code.literal {
 248 }
 249
 250 .programlisting, .screen {
 251   border: 1px solid #808080;
 252   background: #f4f4f4;
 253   margin: 0.5em 10% 0.5em 0;
 254   padding: 0.5em 1em;
 255 }
 256
 257 div.sidebar {
 258   background: #ffffee;
 259   margin: 1.0em 10% 0.5em 0;
 260   padding: 0.5em 1em;
 261   border: 1px solid #808080;
 262 }
 263 div.sidebar * { padding: 0; }
 264 div.sidebar div { margin: 0; }
 265 div.sidebar p.title {
 266   margin-top: 0.5em;
 267   margin-bottom: 0.2em;
 268 }
 269
 270 div.bibliomixed {
 271   margin: 0.5em 5% 0.5em 1em;
 272 }
 273
 274 div.glossary dt {
 275   font-weight: bold;
 276 }
 277 div.glossary dd p {
 278   margin-top: 0.2em;
 279 }
 280
 281 dl {
 282   margin: .8em 0;
 283   line-height: 1.2;
 284 }
 285
 286 dt {
 287   margin-top: 0.5em;
 288 }
 289
 290 dt span.term {
 291   font-weight: bold;
 292 }
 293
 294 div.variablelist dd p {
 295   margin-top: 0;
 296 }
 297
 298 div.itemizedlist li, div.orderedlist li {
 299   margin-left: -0.8em;
 300   margin-top: 0.5em;
 301 }
 302
 303 ul, ol {
 304     list-style-position: outside;
 305 }
 306
 307 div.sidebar ul, div.sidebar ol {
 308     margin-left: 2.8em;
 309 }
 310
 311 div.itemizedlist p.title,
 312 div.orderedlist p.title,
 313 div.variablelist p.title
 314 {
 315   margin-bottom: -0.8em;
 316 }
 317
 318 div.revhistory {
 319     border-style: none;
 320 }
 321
 322 div.revhistory table, div.revhistory th, div.revhistory td {
 323     border-collapse: collapse;
 324     border: 1px solid #808080;
 325     padding: 0.25em;
 326 }
 327
 328 div.revhistory th {
 329     color: black;
 330 }
 331
 332 /* Keep TOC and index lines close together. */
 333 div.toc dl, div.toc dt
 334 {
 335   line-height: normal;
 336   margin-top: 0;
 337   margin-bottom: 0;
 338 }
 339
 340 div.admonitionblock {
 341     margin-top: 2em;
 342     margin-bottom: 2em;
 343     margin-left: 2em;
 344     margin-right: 2em;
 345 }
 346
 347 div.admonitionblock div {
 348     margin-left: 0em;
 349     margin-right: 1em;
 350 }
 351
 352 div.admonitionblock div.title {
 353     color:  #c70909;
 354     font-style: bold;
 355     font-size: 24pt;
 356 }
 357
 358 div#content table.tableblock {
 359     border-style: solid;
 360     border-width: 1px;
 361     border-collapse: collapse;
 362 }
 363
 364 div#content table.tableblock td,th {
 365     border-right-style: solid;
 366     border-right-width: 1px;
 367 }
 368
 369 div#content table.tableblock tbody p {
 370     margin-top: 0.25em;
 371     margin-bottom: 0.25em;
 372     margin-left: 0.25em;
 373     margin-right: 0.25em;
 374 }
 375
 376 div#content table.tableblock tbody tr:nth-child(odd) {
 377     background: #cccccc;
 378 }
 379
 380 div.imageblock{
 381     margin-top: 1em;
 382     margin-bottom: 1em;
 383 }
 384
 385 div.imageblock img {
 386     margin-bottom: 0.5em;
 387 }
 388
 389 @media print {
 390   div.navheader, div.navfooter { display: none; }
 391 }