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 15px -15px;
  83         background: #eeeeff;
  84         border-bottom: 5px solid #000066;
  85         color: #000066;
  86 }
  87 #contents h2 {
  88         padding: 4px;
  89         margin: 15px -10px 20px -10px;
  90         background: #eeeeff;
  91         color: #000000;
  92         border-bottom: 2px solid #000066;
  93 }
  94 #contents h3 {
  95         padding-top: 5px;
  96         margin: 10px -5px 10px -5px;
  97         border-bottom: 1px solid #000066;
  98 }
  99 #contents pre {
 100         border-left: 2px solid #ff0000;
 101         margin-left: 5px;
 102         padding-left: 5px;
 103         background: #f0f0f0;
 104         color: #000000;
 105         /*font-size: larger;*/
 106 }
 107 #topnav {
 108         margin: -5px 0px 0px -10px;
 109         padding: 0px;
 110         background: transparent;
 111         color: #000000;
 112 }
 113 #topnav ul {
 114         padding-left: 0px;
 115         margin-left: 0px;
 116         display: inline;
 117 }
 118 #topnav li {
 119         padding: 3px;
 120         list-style: none;
 121         display: inline;
 122 }
 123 #cvslog div {
 124         border: 2px solid #000066;
 125         margin: 15px 0px 15px 0px;
 126 }
 127 #cvslog div.logitemfirst {
 128         margin: 0px;
 129         padding: 5px 0px 5px 0px;
 130         border: 0px;
 131 }
 132 #cvslog div.logitem {
 133         margin: 0px;
 134         padding: 5px 0px 5px 0px;
 135         border: 0px;
 136         border-top: 1px dashed #000066;
 137 }
 138 #cvslog h3 {
 139         background: #000066;
 140         color: #ffffff;
 141         margin: 0px;
 142         padding: 3px;
 143 }
 144 #cvslog a.cvsloghead {
 145         color: #ffffff;
 146 }
 147 #cvslog p {
 148         margin: 0px;
 149         padding: 5px;
 150 }
 151 #cvslog pre {
 152         padding: 5px;
 153         margin: 10px;
 154 }
 155
 156 /* All images have no border */
 157 img {
 158         border: 0px;
 159 }
 160
 161 /* For when we want to hide something to CSS browsers */
 162 .invisible {
 163         display: none;
 164 }