/*
   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 {
  background: #b0e0e6;
  position: relative;
  width: 225mm;
  margin-left: auto;
  margin-right: auto;
}

#header {
  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; }
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 {
  border-top: 1px solid #a9a9a9;
  background: #f5f5f5;
  clear: both;
  color: #2f4f4f;
  padding: 1mm 1mm 0mm 1mm;
}

.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;

}