doc/style.css

   1 body {
   2         text-align: justify;
   3         margin: 10%;
   4 }
   5
   6 div {
   7         padding: 0;
   8         margin: 0;
   9 }
  10
  11 div.body {
  12         position: absolute;
  13         left: 20%;
  14         top: 0;
  15         width: 55%;
  16         margin: 0 2.5% 2.5% 2.5%;
  17 }
  18
  19 div.main {
  20         margin: 10%;
  21 }
  22
  23 div.titlepage {
  24         text-align: center;
  25 }
  26
  27 div.titlepage * {
  28         margin: 0;
  29 }
  30
  31 p.author {
  32         text-indent: 0;
  33         display: none;
  34 }
  35
  36 p.date {
  37         text-indent: 0;
  38 }
  39
  40 div.window {
  41         border: 1px solid;
  42         margin: 1em 0;
  43         width: 100%;
  44         max-width: 120ex;
  45 }
  46
  47 div.window div.title {
  48         position: relative;
  49         font-weight: bold;
  50         font-variant: small-caps;
  51         padding: 0.1em 0.2em;
  52 }
  53
  54 p {
  55         text-indent: 3%;
  56         margin: 1em 0 0 0;
  57 }
  58
  59 p.first {
  60         text-indent: 0;
  61         margin-top: 0;
  62 }
  63
  64 table {
  65         margin: 1em;
  66 }
  67
  68 th {
  69         text-align: left;
  70         vertical-align: top;
  71 }
  72
  73 td {
  74         text-align: left;
  75         vertical-align: top;
  76 }
  77
  78 .noborder, div.menu .noborder {
  79         border: none;
  80 }
  81
  82 table.noborder td, th {
  83         border: none;
  84 }
  85
  86 table.seamless {
  87         margin: 0;
  88         padding: 0;
  89         border: none;
  90 }
  91
  92 table.seamless tr td th {
  93         margin: 0;
  94         padding: 0;
  95         border: none;
  96 }
  97
  98 .thinborder {
  99         border: 1px solid;
 100         border-collapse: collapse;
 101 }
 102
 103 .thinborder td, .thinborder th {
 104         border: 1px solid;
 105         border-collapse: collapse;
 106         padding: 0.1em;
 107 }
 108
 109 hr {
 110         width: 100%;
 111         margin: 3em auto;
 112         border: none;
 113         height: 1pt;
 114         color: #000000;
 115         background-color: #000000;
 116 }
 117
 118 object {
 119         width: 100%;
 120         height: 12em;
 121         margin: 0;
 122 }
 123
 124 a.footnote {
 125         vertical-align: top;
 126         font-size: 50%;
 127         text-decoration: none;
 128 }
 129
 130 p.footnote {
 131         text-indent: 0;
 132 }
 133
 134 h1 {
 135         font-size: 180%;
 136         font-weight: normal;
 137         text-align: center;
 138 }
 139
 140 h2 {
 141         font-size: 140%;
 142         margin-top: 2em;
 143 }
 144
 145 h3 {
 146         font-size: 130%;
 147         font-weight: bold;
 148         margin-top: 2em;
 149 }
 150
 151 h4 {
 152         font-size: 115%;
 153         font-weight: bold;
 154 }
 155
 156 h5 {
 157         font-size: 100%;
 158         font-weight: bold;
 159 }
 160
 161 h6 {
 162         font-size: 100%;
 163         font-weight: normal;
 164 }
 165
 166 tr.even {
 167         background-color: #cccccc;
 168 }
 169
 170 @media print {
 171         body {
 172                 text-align: justify;
 173                 color: #000000;
 174                 background-color: #ffffff;
 175                 font-size: 9pt;
 176         }
 177
 178         p {
 179                 text-indent: 5%;
 180                 margin: 0;
 181         }
 182
 183         div.titlepage {
 184                 margin: 10%;
 185         }
 186
 187         h1 {
 188                 text-align: center;
 189         }
 190
 191         p.author, p.date {
 192                 display: block;
 193         }
 194
 195         hr {
 196                 background-color: #000000;
 197                 color: #000000;
 198         }
 199
 200 }