tools/default.css

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