www/styles/style.css

   1 html,body {
   2         background: #ffffff;
   3         color: #000000;
   4         font-family: sans-serif;
   5         font-size: small;
   6         margin: 0px;
   7         padding: 0px;
   8 }
   9
  10 /* Contains the entire of the page */
  11 #container {
  12         padding: 0px;
  13 }
  14
  15 /* Contains the menu */
  16 #menu {
  17         float: left;
  18         position: absolute;
  19         top: 0px;
  20         left: 0px;
  21         width: 150px;
  22         background: #eeeeFF;
  23         color: #000000;
  24         border-right: 1px solid #000066;
  25         border-bottom: 1px solid #000066;
  26 }
  27 #menu .cornerlogo {
  28         margin: -3px;
  29         margin-bottom: 1px;
  30 }
  31 #menu .heading {
  32         background: #000066;
  33         color: #ffffff;
  34         margin: 0px;
  35         padding: 3px;
  36 }
  37 #menu .logo {
  38         margin: 10px 0px 10px 0px;
  39         text-align: center;
  40 }
  41 #menu .logo img {
  42         margin-top: 5px;
  43 }
  44 #menu ul {
  45         margin: 5px;
  46         padding: 5px 0px 5px 0px;
  47         text-align: center;
  48         list-style: none;
  49 }
  50
  51 /* Contains the main page - including header and footer */
  52 #main {
  53         margin-left: 151px;
  54         padding: 0px;
  55         position: relative;
  56 }
  57
  58 /* Contains the header */
  59 #header {
  60         padding: 0px;
  61         display: none;
  62 }
  63
  64 /* Contains the footer */
  65 #footer {
  66         padding: 60px 0px 5px 0px;
  67         text-align: center;
  68 }
  69 #footer p {
  70         font-size: x-small;
  71 }
  72
  73 /* Contains the body text of the page */
  74 #contents {
  75         padding: 0px 15px 0px 15px;
  76 }
  77 #contents .top {
  78         margin-top: 0px;
  79 }
  80 #contents h1 {
  81         padding: 5px;
  82         margin: 30px -15px 20px -15px;
  83         background: #eeeeff;
  84         border-bottom: 5px solid #000066;
  85         color: #000066;
  86         text-align: right;
  87 }
  88 #contents h2 {
  89         padding: 4px;
  90         margin: 20px -10px 20px -10px;
  91         background: #eeeeff;
  92         color: #000000;
  93         border-bottom: 2px solid #000066;
  94 }
  95 #contents h3 {
  96         padding-top: 5px;
  97         margin: 10px -5px 10px -5px;
  98         border-bottom: 1px solid #000066;
  99 }
 100 #contents pre {
 101         border-left: 2px solid #ff0000;
 102         margin-left: 5px;
 103         padding-left: 5px;
 104         background: #f0f0f0;
 105         color: #000000;
 106         /*font-size: larger;*/
 107 }
 108 #topnav {
 109         margin: -15px -10px 0px 0px;
 110         padding: 0px;
 111         text-align: right;
 112         background: transparent;
 113         color: #000000;
 114 }
 115 #topnav ul {
 116         padding-left: 0px;
 117         margin-left: 0px;
 118         display: inline;
 119 }
 120 #topnav li {
 121         padding: 3px;
 122         list-style: none;
 123         display: inline;
 124 }
 125 #cvslog div {
 126         border: 2px solid #000066;
 127         margin: 15px 0px 15px 0px;
 128 }
 129 #cvslog div.logitemfirst {
 130         margin: 0px;
 131         padding: 5px 0px 5px 0px;
 132         border: 0px;
 133 }
 134 #cvslog div.logitem {
 135         margin: 0px;
 136         padding: 5px 0px 5px 0px;
 137         border: 0px;
 138         border-top: 1px dashed #000066;
 139 }
 140 #cvslog h3 {
 141         background: #000066;
 142         color: #ffffff;
 143         margin: 0px;
 144         padding: 3px;
 145 }
 146 #cvslog a.cvsloghead {
 147         color: #ffffff;
 148 }
 149 #cvslog p {
 150         margin: 0px;
 151         padding: 5px;
 152 }
 153 #cvslog pre {
 154         padding: 5px;
 155         margin: 10px;
 156 }
 157
 158 /* All images have no border */
 159 img {
 160         border: 0px;
 161 }
 162
 163 /* For when we want to hide something to CSS browsers */
 164 .invisible {
 165         display: none;
 166 }