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 : 24pt;
  13 }
  14
  15
  16 h1.titlepage
  17 {
  18    color : black;
  19    font-family : sans-serif ;
  20    font-size : 150%;
  21    text-align : center ;
  22 }
  23
  24
  25 div.titlepage
  26 {
  27    background : rgb(204, 204, 255) ;
  28    border: solid;
  29    border-width: thin;
  30    padding : 1em;
  31    margin : 5% ;
  32    width: 90%;
  33    text-align : center ;
  34 }
  35
  36
  37 h2
  38 {
  39    color : green;
  40 }
  41
  42 div.box
  43 {
  44    background : rgb(204, 204, 255) ;
  45    border: solid;
  46    border-width: thin;
  47    padding : 1em;
  48    width: 90%;
  49 }
  50
  51 p
  52 {
  53    /*font-size : 50%;*/
  54 }
  55
  56
  57 span.remark
  58 {
  59   color: red;
  60 }
  61