www/styles/style.css

   1 html {
   2         margin: 0;
   3         padding: 0;
   4 }
   5
   6 body {
   7         background: white;
   8         color: black;
   9         font-family: sans-serif;
  10         font-size: small;
  11         margin: 0;
  12         padding: 0;
  13 }
  14
  15 /* Contains the entire of the page */
  16 #container {
  17         padding: 0px;
  18 }
  19
  20 /* Contains the menu */
  21 #menu {
  22         float: left;
  23         position: absolute;
  24         top: 0px;
  25         left: 0px;
  26         width: 150px;
  27         background: #eeeeFF;
  28         border-right: 1px solid #000066;
  29         border-bottom: 1px solid #000066;
  30 }
  31 #menu .cornerlogo {
  32         margin: -3px;
  33         margin-bottom: 1px;
  34 }
  35 #menu .heading {
  36         background: #000066;
  37         color: white;
  38         margin: 0px;
  39         padding: 3px;
  40 }
  41 #menu p {
  42         margin: 5px;
  43         padding: 5px 0 5px 0;
  44         text-align: center;
  45 }
  46 #menu .logo {
  47         margin: 0;
  48         text-align: center;
  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 0 5px 0;
  67 }
  68 #footer p {
  69         text-align: center;
  70         font-size: x-small;
  71 }
  72
  73 /* Contains the body text of the page */
  74 #contents {
  75         padding: 0 15px 0 15px;
  76 }
  77 #contents .top {
  78         margin-top: 0px;
  79 }
  80 #contents h1 {
  81         padding: 5px;
  82         margin: 30px -15px 20px -15px;
  83         background-color: #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-color: #eeeeff;
  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 red;
 101         margin-left: 5px;
 102         padding-left: 5px;
 103         background-color: #f0f0f0;
 104         font-size: larger;
 105 }
 106 #topnav {
 107         margin: -15px -10px 0 0;
 108         padding: 0px;
 109         text-align: right;
 110         background-color: transparent;
 111 }
 112 #topnav ul {
 113         padding-left: 0;
 114         margin-left: 0;
 115         display: inline;
 116 }
 117 #topnav li {
 118         padding: 3px;
 119         list-style: none;
 120         display: inline;
 121 }
 122
 123 /* All images have no border */
 124 img {
 125         border: 0;
 126 }
 127
 128 /* For when we want to hide something to CSS browsers */
 129 .invisible {
 130         display: none;
 131 }