doc/main.css

   1
   2 body
   3 {
   4    background : white;
   5    color      : black;
   6 }
   7
   8 h1
   9 {
  10    color : blue;
  11    font-family : sans-serif ;
  12    font-size : 150%;
  13 }
  14
  15 h1.titlepage
  16 {
  17    color : black;
  18    font-family : sans-serif ;
  19    font-size : 150%;
  20    text-align : center ;
  21 }
  22
  23 h2.titlepage
  24 {
  25    color : black;
  26    font-family : sans-serif ;
  27    font-size : 120%;
  28    text-align : center ;
  29 }
  30
  31 h2
  32 {
  33    color : green;
  34 }
  35
  36 div.titlepage
  37 {
  38    background : rgb(204, 204, 255) ;
  39    border: solid;
  40    border-width: thin;
  41    padding : 1em;
  42    margin : 5% ;
  43    width: 90%;
  44    text-align : center ;
  45 }
  46
  47 p
  48 {
  49    font-size : 100%;
  50 }
  51
  52 span.remark
  53 {
  54    font-size : 90%;
  55    background : yellow ;
  56    color : rgb(0, 0, 150);
  57 }
  58
  59 table
  60 {
  61    width : 80% ;
  62    border-width : medium ;
  63    border-style : solid ;
  64    border-collapse : collapse;
  65    padding : 1px ;
  66 }
  67
  68 dt
  69 {
  70    font-weight : bold ;
  71    top-margin  : 1ex;
  72 }