/* CSS */
html {
  background: #FFFFFF;
  color: #000000;
  font-size: 18px;
}
pre {
  font-size: 16;
  font-family: "Courier New";
  line-height: 19px;
}
pre {
  color: #000000;
  background-color: #f5f5f5;
  padding: 5px;
}
pre.code {
  color: #000000;
  background: repeating-linear-gradient(
  to bottom,
  #dcffdc,
  #dcffdc 19px,
  #ffffff 19px,
  #ffffff 38px);
  border: 1px dashed #777777;
  padding: 2 0 0 10;
}
pre.asm {
  color: #000000;
  background: repeating-linear-gradient(
  to bottom,
  #eeeeff,
  #eeeeff 19px,
  #ffffff 19px,
  #ffffff 38px);
  border: 1px dashed #777777;
  padding: 2 0 0 10;
}
a.nav {
  text-decoration: none;
  color: #000000;
  background-color: #EEEEEE;
  border: 1px solid #DDDDDD;
  padding: 5;
}
a.nav:hover {
  color: #888888;
  background-color: #FEFEFE;
  border: 1px solid #EDEDED;
}
title {
  font-size: 32;
  color: #000000;
  display: block;
  margin: 40 0 20 0;
  text-align: center;
}
hh {
  font-size: 22;
  color: #000000;
  background-color: #eeeeee;
  border: 1px solid #dddddd;
  display: block;
  padding: 2 0 2 5;
  margin: 40 0 20 0;
}
hb {
  font-weight: bold;
  margin: 40 0 20 0;
  display: block;
}
img.formatted {
  display: block;
  padding: 3px;
  margin: 20 0 20 0;
  border: 1px solid #CCCCCC;
}
table.sht {
  border: 0px;
  padding: 2px;
  width: 100%;
  border-spacing: 5px;
}
table.sht th {
  background-color: #00FFFF;
  border: 1px solid #00AAAA;
  font-weight: normal;
}
table.sht td {
  background-color: none;
  border: 1px solid #00AAAA;
  text-align: center;
}
div.dwl {
  border: 1px solid #AAAAAA;
  margin: 10 0 10 0;
  padding: 5;
}
div.head {
  margin-bottom: 5px;
  font-weight: bold;
  background: #f3f3f3;
}