body {
    margin: 0;
    padding: 0;
    font-family: Verdana, Arial, sans-serif;
    font-size: 10pt;
    text-align: center; /* Centering fix for IE */
}

table {
/*    font-size: inherit; */
    font-size: 10pt;
    width: 100%;
}

a {
    color: black;
}

th {
  background-color: #646496;
  color: white;
  padding: 0.1em 0.5em;
}

td {
  padding: 0.2em 0.5em;
}

.rowalt2 td {
  background-color: #E1E1FE;
}

pre {
  margin: 0.5em 0em;
  color: #2B2B80;
}

.subtitle {
    font-size: 0.8em;
    margin-top: -1.8em;
    display: block;
}

#maincontainer {
    margin: 3em auto;
    padding: 0.5em 1.5em 1em 1.5em;
    text-align: left; /* Centering fix for IE */
    width: 35em;
    background-color: #CCF;
    border: solid thin black;
}

#menulist {
    margin: 0 auto;
    margin: 1em -1.5em;
    padding: 0.5em 1em;
    border-top: solid thin black;
    border-bottom: solid thin black;
    white-space: nowrap;
}

#menulist li {
    display: inline;
    list-style-type: none;
    margin: 0em 1px;
}

#menulist a {
    text-align: center;
    padding: 0.2em 2em;
    width: 10em;
    text-decoration: none;
    background-color: #DFDFFD;
}

#menulist a:hover { background-color: white; color: black; }

.tt {
  font-family: monospace;
  color: #2B2B80;
}

a.fauxbutton {
    display: block;
    border: solid thin black;
    background-color: white;
    text-decoration: none;
    text-align: center;
}

.large {
    width: 13em;
    padding: 0.2em 0.5em;
    margin: 0.5em 1em;
}

.tiny {
    font-size: 0.7em;
    width: 4em;
    padding: 0.1em 0.2em;
    margin: 0.1em 0.1em;
}

a.fauxbutton:hover {
    background-color: black;
    color: white;
}

.errormessage {
    display: block;
    color: red;
}

.hintblock {
  background-color: #FBF7DA;
  margin: 2em;
  padding: 0.2em 2em;
  border: solid 1px black;
  font-size: 0.8em;
}