test/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 pre.example
  53 {
  54    background : lightblue ;
  55    width      : 90% ;
  56    margin-left: 5% ;
  57 }
  58
  59 span.remark
  60 {
  61    font-size : 90%;
  62    background : yellow ;
  63    color : rgb(0, 0, 150);
  64 }
  65
  66 table
  67 {
  68    width : 80% ;
  69    border-width : medium ;
  70    border-style : solid ;
  71    border-collapse : collapse;
  72    padding : 1px ;
  73 }
  74
  75 dt
  76 {
  77    font-weight : bold ;
  78    top-margin  : 1ex;
  79 }