body {
   color: black;
   background: white;
   font-family: Verdana, Arial, sans-serif;
   margin: 1ex;
   padding: 1ex;
   max-width: 120ex;
   text-align: justify;
}

img { border: 0; }
form { margin: 0; }
input { margin: 2px; }

a {
   color: #006699;
}

a:visited {
   color: #004477;
}

td {
   margin: 0;
   padding: 0;
}

div {
   border-width: 0;
}

dt {
   margin-top: 0.5ex;
   margin-left: 2ex;
   margin-bottom: 0.4ex;
   padding-bottom: 0;
   font-weight: bold;
}

dd {
   margin-left: 4ex;
   padding-left: 1em;

   margin-right: 2ex;
   padding-right: 1ex;

   margin-top: 0.4ex;
   padding-top: 0.5ex;

   margin-bottom: 1em;
   padding-bottom: 0.3ex;

   border-left: 1px solid #ccccee;
   border-bottom: 1px solid #ccccee;
   border-collapse: collapse;
}

dd > p {
   margin-left: 0;
   padding-left: 0;
   margin-top: 0;
   padding-top: 0;
   margin-bottom: 1ex;
   padding-bottom: 0;
}

code {
  color: #006600;
  font-family: Andale Mono, monospace;
}

pre {
  background: #f6f6ff;
  border: 1px solid #ddddff;
  box-shadow: 0 2px 4px rgba(0,0,0,0.1), inset 0 -1px 1px rgba(0,0,0,0.1);
  border-radius: 10px;
  color: black;
  padding-left: 0ex;
  padding-top: 1em;
  padding-bottom: 0;
  padding-right: 3ex;
  white-space: pre;
  font-family: Andale Mono, monospace;
  /*font-size: 100%;*/
  margin-left: 2ex;
  margin-right: -75ex;
  min-width: 110ex;
  /*max-width: 111ex; /* hack for older browsers */
  max-width: min-content;
}

dd > pre {
  min-width: 104ex;
}

dd dd > pre {
  min-width: 98ex;
}

#TOP {
  margin-left: 3em;
  color: #006699;
  margin-top: 2ex;
  font-size: 80%;
  font-weight: bold;
  border: 0;
  padding-bottom: 0;
}

div.pod > ul {
  font-size: 80%;
  margin-left: 3em;
}

div.pod > hr {
  display: none;
}

div.pod > ul > li {
  font-size: 100%;
  font-weight: bold;
}

div.pod > ul > li > ul > li {
  font-size: 100%;
  font-weight: normal;
}

div.pod > ul > li > ul > li > ul > li {
  font-size: 80%;
  font-weight: normal;
}

h1 {
  color: #006699;
  margin-top: 2ex;
  font-size: 180%;
  font-weight: bold;
  border-bottom: 2px solid #ff0000;
  padding-bottom: 0;
}

h2 {
  color: #006699;
  font-size: 120%;
  margin-top: 1ex;
  border-bottom: 2px solid #ff0000;
  padding-bottom: 0;
}

h3 {
  color: #003344;
  font-size: 100%;
  margin-top: 1ex;
  border-bottom: 1px solid #ff0000;
  padding-bottom: 0;
}

h4 {
  color: #003344;
  font-size: 100%;
  margin-top: 1ex;
  padding-bottom: 0;
}

img {
  vertical-align: top;
}

li {
  line-height: 1.2em;
  list-style-type: none;
}

table {
  box-shadow: 0 3px 6px rgba(0,0,0,0.2);
  margin-left: 3em;
  margin-top: 1ex;
  margin-bottom: 1ex;
  border-spacing: 0px;
  border-width: 2px;
  border-collapse: collapse;
  border-radius: 10px;
  border-color: #88e;
  border-style: solid;
}

td {
  padding: 2px 1ex 2px 1ex;
  border-width: 2px;
  border-color: #88e;
  border-style: solid;
}