#logo {
  position: absolute;
  left: 0.5em;
  width: 9em;
  text-align: center;
}

#banner {
  position: relative;
  margin-left: 10em;
  text-align: center;
}

#banner h1 {
  margin-top: 0pt;
  margin-bottom: 0pt;
  text-align: center;
  font-size: 20pt;
  font-weight: normal;
  color: black;
}

#banner h2 {
  margin-top: 0pt;
  margin-bottom: 0pt;
  text-align: center;
  font-size: 32pt;
  font-weight: normal;
  color: black;
}

#login {
  position: relative;
  border-top: solid thin;
  border-bottom: solid thin;
  padding-top: 6pt;
  padding-bottom: 6pt;
  margin-top: 0pt;
  margin-bottom: 0pt;
}

#login-link {
  position: absolute;
  right: 0;
}

#login-upper-margin {
  height: 6pt;
}

#login-lower-margin {
  height: 6pt;
}

#main {
  margin-top: 0pt;
}

#navigation {
  position: absolute;
  left: 0.5em;
  width: 9em;
  top-padding: 20pt;
}

#navigation ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

#navigation ul li {
  margin: 1pt;
  padding: 8pt;
  background-color: SteelBlue;
  text-align: center;
}

#navigation ul li a {
  color: black;
  text-decoration: none;
}

#navigation div {
  background-color: SteelBlue;
  margin: 1pt;
  padding: 1pt;
}

#content {
  position: relative;
  margin-left: 10em;
  margin-top: 0pt;
  padding: 0pt;
}

div.heading {
  font-size: 120%;
  padding: 4pt;
  margin: 2pt 2pt 2pt 2pt;
  background-color: SteelBlue;
}

div.subheading {
  padding: 4pt;
  margin: 0pt 2pt 0pt 2pt;
  background-color: CadetBlue;
}

#content table {
  position: relative;
  margin: 0pt;
  padding: 0pt;

  border-collapse: separate;
  border-spacing: 2pt;
}

td.heading {
  font-size: 120%;
  padding: 4pt;
  background-color: SteelBlue;
}

td.subheading {
  padding: 4pt;
  background-color: CadetBlue;
}

td.content {
  padding: 4pt;
  margin: 1pt;
  background-color: LightSteelBlue;
  vertical-align: top;
}

td.content-narrow {
  width: 0;
  padding: 4pt;
  margin: 1pt;
  background-color: LightSteelBlue;
  vertical-align: top;
}

td p {
  margin-top: 0pt;
}

span.error {
  font: bold;
  color: red;
}

table.left-right {
  width: 100%;
  margin: 0pt;
  padding: 0pt;
  border-width: 0pt;
}

table.left-right tr {
  margin: 0pt;
  padding: 0pt;
  border-width: 0pt;
}

table.left-right tr td:first-child {
  margin: 0pt;
  padding: 0pt;
  text-align: left;
  border-width: 0pt;
}

table.left-right tr td {
  margin: 0pt;
  padding: 0pt;
  text-align: right;
  border-width: 0pt;
}

ul.attribute-list {
  list-style-type: none;
  margin: 0pt;
  padding: 0pt;
}

ul.rule-list {
  list-style-type: none;
  margin: 0pt;
  padding: 0pt;
}

ul.button-list {
  list-style-type: none;
  margin: 0pt;
  padding: 0pt;
}

ul.category-list {
  list-style-type: none;
  white-space: nowrap;
  margin: 0pt;
  padding: 0pt;
}

ul.inflections {
  list-style-type: none;
  white-space: nowrap;
  margin: 0pt;
  padding: 0pt;
}

table.inflections {
  width: 100%;
}

table.inflections tr td:first-child {
  font-style: oblique;
}

span.error {
  color: red;
}

span.prediction a {
  color: red;
}

span.proposal a {
  color: darkgreen;
}