doc/style.css

   1 body {
   2   margin: 0;
   3   font-family: tahoma, arial, sans-serif;
   4   padding: 50px 100px;
   5   color: black;
   6 }
   7
   8 h1 {
   9   font-size: 250%;
  10   border-bottom: 3px solid #449977;
  11 }
  12
  13 h2 {
  14   font-size: 140%;
  15   border-bottom: 1px solid #449977;
  16 }
  17
  18 h3 {
  19   font-size: 110%;
  20 }
  21
  22 code {
  23   font-size: 1.2em;
  24 }
  25
  26 p.news {
  27   text-indent: -3em;
  28   padding-left: 3em;
  29 }
  30
  31 pre.code {
  32   margin: 0 16px;
  33   padding: 7px;
  34   border: 1px solid #99CCBB;
  35 }
  36
  37 p.def {
  38   margin-top: 1.5em;
  39   font-family: courier;
  40 }
  41
  42 p.def span {
  43   color: #555555;
  44   font-weight: bold;
  45   font-family: tahoma, arial, sans-serif;
  46   font-size: .8em;
  47 }
  48
  49 .desc {
  50   margin-left: 1em;
  51 }
  52
  53 thead {
  54   font-weight: bold;
  55 }
  56
  57 table {
  58   border-collapse: collapse;
  59 }
  60
  61 tr + tr {
  62   border-top: 1px solid #88BB99;
  63 }
  64
  65 thead tr {
  66   border-bottom: 2px solid #88BB99;
  67 }
  68
  69 td + td, th + th {
  70   border-left: 2px solid #88BB99;
  71 }
  72
  73 th {
  74   text-align: left;
  75   padding: 2px 5px;
  76 }
  77
  78 td {
  79   padding: 2px 5px;
  80   vertical-align: top;
  81 }
  82
  83 a:link {
  84   color: #3333AA;
  85   text-decoration: none;
  86 }
  87
  88 a:visited {
  89   color: #773377;
  90   text-decoration: none;
  91 }
  92
  93 a:hover {
  94   text-decoration: underline;
  95 }
  96
  97 ul.symbol-index {
  98   font-family: monospace;
  99   font-size: 1.2em;
 100 }