/*
   Colors

The names are just a guide, taken from similar colors in list-colors-display.

   RGB       Name
   #00008b   darkblue
   #006400   darkgreen
   #2f4f4f   darkslategray
   #696969   gray
   #a9a9a9   darkgray
   #b0e0e6   powderblue
   #dcdcdc   gainsboro
   #f0ffff   azure
   #f5f5f5   whitesmoke
   #fffff0   ivory
*/

html, body {
  background: #a9a9a9;
  margin: 0;
  padding: 0;
  font-family: sans-serif;
}

#bigbox {
  -moz-border-radius: 1.5mm;
  border-radius: 1.5mm;
  background: #b0e0e6;
  position: relative;
  width: 225mm;
  margin-left: auto;
  margin-right: auto;
}

#header {
  -moz-border-radius-topleft: 1.5mm;
  border-top-left-radius: 1.5mm;
  -moz-border-radius-topright: 1.5mm;
  border-top-right-radius: 1.5mm;
  margin-top: 1mm;
  border-bottom: 1px solid #a9a9a9;
  position: static;
  background: white;
  /* top, right, bottom, left */
  padding: 1mm 2mm 2mm 2mm;
}

#header h1 {
  margin: 0;
  color: #00008b;
}

h2 {
  margin: 2mm 0mm 1mm 0mm;
}

h4 {
  margin: 4mm 0mm 1mm 0mm;
}

#maincol {
  float: left;
  background: #fffff0;
  min-height: 130mm;
  padding: 2mm 2mm 1mm 3mm;
  width: 151mm;
}

#subcol {
  background: #b0e0e6;
  float: right;
  color: #696969;
  min-height: 100mm;
  padding: 1mm 1mm 1mm 1mm;
  width: 65mm;
}

ul.linklist {
  list-style: none;
  margin: 1mm 0mm 2mm 0mm;
  padding-left: 2mm;
  
}
ul li a { color: #00008b; text-decoration: none; font-weight: bold }
ul li a:hover { background: #f0ffff; }
.currentlink { font-weight: normal; color: #696969 }

ol li {
  margin: 2mm 0mm 1mm 0mm;
}

#clearit {
  -moz-border-radius-bottomleft: 1.5mm;
  border-bottom-left-radius: 1.5mm;
  -moz-border-radius-bottomright: 1.5mm;
  border-bottom-right-radius: 1.5mm;
  border-top: 1px solid #a9a9a9;
  background: #f5f5f5;
  clear: both;
  color: #2f4f4f;
  padding: 1mm 1mm 0mm 1mm;
}

.fixed {
    font-family: monospace;
}

.console {
  background: #dcdcdc;
  border: 1px solid black;
  color: #006400;
  font-family: monospace;
  overflow: auto;
  padding: 1mm 2mm 1mm 2mm;
}


.caption {
  float: none;
  padding: 0mm 0mm 3mm 0mm;
}

.picture {
  float: none;
  padding: 3mm 0mm 0mm 0mm;
}

#w3c img {
  border-width: 0px;
  margin-top: 5mm;

}

table.heads_left {
  border: 1px solid #006400;
}

table.heads_left th {
  float: right;
  background: #f0e68c;
}

table.heads_left tr {
  font-weight: normal;
}