docs/default.css

   1 body {
   2         background-color: #FFFFFF;
   3         color           : #000000;
   4         font-family     : Verdana,Arial,Helvetica,sans-serif;
   5 }
   6
   7 p.adminmenu {
   8   text-align     : right;
   9   padding-bottom : 5px;
  10   margin-bottom  : 5px;
  11   border-bottom  : #000088 1px dotted;
  12   font-size      : 80%;
  13   text-indent    : 10px;
  14 }
  15
  16 .footer {
  17   border-top : #000088 1px dotted;
  18   margin-top : 20px;
  19   padding-top : 5px;
  20   text-align : right;
  21   font-size : 80%;
  22   font-style : italic;
  23 }
  24
  25 hr {
  26   color : #FFFFFF;
  27 }
  28
  29 pre {
  30   border      : #888888 1px solid;
  31   padding     : 4px;
  32   margin-left : 40px;
  33 }
  34
  35 p {
  36   padding-left : 20pt;
  37 }
  38
  39 strong {
  40   font-weight : normal;
  41 }
  42
  43 h1 {
  44   background-color : #FFFFFF;
  45   border-bottom    : #AABBFF 1px solid;
  46   font-family      : Verdana,Arial,Helvetica,sans-serif;
  47   padding-left     : 4pt;
  48 }
  49
  50
  51 h2 {
  52   background-color : #AABBFF;
  53   font-family      : Verdana,Arial,Helvetica,sans-serif;
  54   padding-left     : 4pt;
  55 }
  56
  57 h3 {
  58   border-left   : #AABBFF 10px solid;
  59   border-top    : #AABBFF 5px solid;
  60   border-right  : #AABBFF 1px solid;
  61   border-bottom : #AABBFF 1px solid;
  62   font-family   : Verdana,Arial,Helvetica,sans-serif;
  63   font-size     : 100%;
  64   padding-left  : 4pt;
  65 }
  66
  67 h4 {
  68   border-left  : #AABBFF 10px solid;
  69   padding-left : 4px;
  70   font-family  : Verdana,Arial,Helvetica,sans-serif;
  71   padding-left : 4pt;
  72 }
  73
  74 table {
  75   border : #888888 2px solid;
  76 }
  77
  78 th {
  79   border : #888888 1px solid;
  80   background-color : #88AAFF;
  81 }
  82
  83 td {
  84   border : #888888 1px solid;
  85 }
  86
  87 A:link {
  88   color            : #4444FF;
  89   text-decoration  : none;
  90 }
  91 A:visited {
  92   color            : #4444FF;
  93   text-decoration  : none;
  94 }
  95 A:hover {
  96   color           : #FF4444;
  97   text-decoration : underline;
  98 }
  99
 100 div.main {
 101         margin-left: 20%;
 102 }
 103
 104 div.sidebar {
 105         position  : absolute;
 106         top       : 0px;
 107         left      : 0px;
 108         width     : 20%;
 109         font-size : x-small;
 110         padding: 2px 2px 100% 2px;
 111         border-style: solid;
 112         border-color: #CCCCFF;
 113         border-width: 2px;
 114         color       : #000000;
 115         background-color: #EEEEFF;
 116 }
 117
 118 div.comment {
 119   margin-top       : 10px;
 120   margin-bottom    : 10px;
 121   background-color : DDDDFF;
 122   border           : AAAAFF 2px solid;
 123   font-size        : 80%;
 124 }
 125
 126 .error {
 127   color       : #FF0000;
 128   font-weight : bold;
 129 }