external/bsd/atf/dist/doc/standalone/standalone.css

   1 body {
   2     background: white;
   3     margin: 0;
   4     padding: 0;
   5 }
   6
   7 div.header {
   8     background: #000080;
   9     color: white;
  10     font-family: Arial;
  11     padding: 3pt 20pt 3pt 20pt;
  12 }
  13
  14 div.header p.title {
  15     font-size: 20pt;
  16     font-weight: bold;
  17     margin: 5pt 0 5pt 0;
  18 }
  19
  20 div.header p.author {
  21     font-size: 10pt;
  22     margin: 5pt 0 5pt 0;
  23 }
  24
  25 div.toc {
  26     background: #f0f0f0;
  27     margin: 20pt 20pt 20pt 20pt;
  28     padding: 5pt 5pt 5pt 5pt;
  29 }
  30
  31 div.toc h1 {
  32     font-family: Arial;
  33     font-size: 18pt;
  34     font-weight: bold;
  35     color: #800000;
  36     margin: 0;
  37     margin-bottom: 10pt;
  38 }
  39
  40 div.toc ol {
  41     margin: 0;
  42 }
  43
  44 div.toc p {
  45     margin: 0;
  46     padding: 0;
  47 }
  48
  49 div.contents {
  50     margin: 0;
  51     padding: 3pt 20pt 3pt 20pt;
  52 }
  53
  54 div.contents h1 {
  55     font-family: Arial;
  56     font-size: 18pt;
  57     font-weight: bold;
  58     color: #800000;
  59     margin-top: 25pt;
  60 }
  61
  62 div.contents h2 {
  63     font-family: Arial;
  64     font-size: 14pt;
  65     font-weight: bold;
  66     color: black;
  67     margin-left: 5pt;
  68 }
  69
  70 div.contents div.note {
  71     background: red;
  72     color: white;
  73     font-size: 16pt;
  74     padding: 5pt;
  75     text-align: center;
  76 }
  77
  78 div.contents p {
  79     margin-left: 10pt;
  80 }
  81
  82 div.contents pre.screen {
  83     background: #e0ffe0;
  84     padding: 5pt;
  85 }
  86
  87 div.contents tt {
  88     color: #900000;
  89 }
  90
  91 div.contents tt.filename {
  92     color: #009000;
  93 }