www/styles/style.css

   1 html,body {
   2         background: #ffffff;
   3         color: #000000;
   4         font-family: sans-serif;
   5         font-size: small;
   6         margin: 0;
   7         padding: 0;
   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 p {
  38         margin: 5px;
  39         padding: 5px 0 5px 0;
  40         text-align: center;
  41 }
  42 #menu .logo {
  43         margin: 0;
  44         text-align: center;
  45 }
  46
  47 /* Contains the main page - including header and footer */
  48 #main {
  49         margin-left: 151px;
  50         padding: 0px;
  51         position: relative;
  52 }
  53
  54 /* Contains the header */
  55 #header {
  56         padding: 0px;
  57         display: none;
  58 }
  59
  60 /* Contains the footer */
  61 #footer {
  62         padding: 60px 0 5px 0;
  63 }
  64 #footer p {
  65         text-align: center;
  66         font-size: x-small;
  67 }
  68
  69 /* Contains the body text of the page */
  70 #contents {
  71         padding: 0 15px 0 15px;
  72 }
  73 #contents .top {
  74         margin-top: 0px;
  75 }
  76 #contents h1 {
  77         padding: 5px;
  78         margin: 30px -15px 20px -15px;
  79         background: #eeeeff;
  80         border-bottom: 5px solid #000066;
  81         color: #000066;
  82         text-align: right;
  83 }
  84 #contents h2 {
  85         padding: 4px;
  86         margin: 20px -10px 20px -10px;
  87         background: #eeeeff;
  88         color: #000000;
  89         border-bottom: 2px solid #000066;
  90 }
  91 #contents h3 {
  92         padding-top: 5px;
  93         margin: 10px -5px 10px -5px;
  94         border-bottom: 1px solid #000066;
  95 }
  96 #contents pre {
  97         border-left: 2px solid #ffffff;
  98         margin-left: 5px;
  99         padding-left: 5px;
 100         background: #f0f0f0;
 101         color: #000000;
 102         font-size: larger;
 103 }
 104 #topnav {
 105         margin: -15px -10px 0 0;
 106         padding: 0px;
 107         text-align: right;
 108         background: transparent;
 109         color: #000000;
 110 }
 111 #topnav ul {
 112         padding-left: 0;
 113         margin-left: 0;
 114         display: inline;
 115 }
 116 #topnav li {
 117         padding: 3px;
 118         list-style: none;
 119         display: inline;
 120 }
 121
 122 /* All images have no border */
 123 img {
 124         border: 0;
 125 }
 126
 127 /* For when we want to hide something to CSS browsers */
 128 .invisible {
 129         display: none;
 130 }