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