html, body, div, span, applet, object, iframe,
h1, h2, h3, h4, h5, h6, p, blockquote, pre,
a, abbr, acronym, address, big, cite, code,
del, dfn, em, img, ins, kbd, q, s, samp,
small, strike, strong, sub, sup, tt, var,
b, u, i, center,
dl, dt, dd, ol, ul, li,
fieldset, form, label, legend,
table, caption, tbody, tfoot, thead, tr, th, td,
article, aside, canvas, details, embed,
figure, figcaption, footer, header, hgroup,
menu, nav, output, ruby, section, summary,
time, mark, audio, video {
  margin: 0;
  padding: 0;
  border: 0;
  font-size: 100%;
  font: inherit;
  vertical-align: baseline; }

body {
  line-height: 1; }

ol, ul {
  list-style: none; }

table {
  border-collapse: collapse;
  border-spacing: 0; }

caption, th, td {
  text-align: left;
  font-weight: normal;
  vertical-align: middle; }

q, blockquote {
  quotes: none; }
  q:before, q:after, blockquote:before, blockquote:after {
    content: "";
    content: none; }

a img {
  border: none; }

article, aside, details, figcaption, figure, footer, header, hgroup, menu, nav, section, summary {
  display: block; }

a {
  text-decoration: none; }

h2 {
  font-size: 200%;
  font-weight: bold;
  padding: 0.3em 0em 0.5em 5em; 
  }

div#menu {
  float: left;
  width: auto;
  margin: 0.0em 2em 0.5em 0.5em; }
  div#menu li {
    border: 1px solid #a0a0f0;
    border-bottom: 0; }
    div#menu li:last-child {
      border-bottom: 1px solid #a0a0f0; }
    div#menu li:hover {
      background: #c9c9ff; }
    div#menu li.selected {
      background: #9696ff; }
    div#menu li a {
      padding: 0.3em 1em;
      color: black;
      display: block; }

div#table {
  padding: 0em 1em;
  text-align: right; }
  div#table table {
    border: 1px solid #a0a0f0; }
    div#table table tr {
      border-bottom: 1px solid #dcdcff; }
      div#table table tr:hover {
        background: #e3e3ff; }
      div#table table tr.top {
        border-bottom: 1px solid #a0a0f0; }
        div#table table tr.top:hover {
          background: none; }
      div#table table tr:last-child {
        border-bottom: 0; }
    div#table table td, div#table table th {
      padding: 0.1em 0.5em;
      border-left: 1px solid #dcdcff;
      text-align: right; }
      div#table table td.name, div#table table th.name {
        text-align: left;
        border-left: 1px solid #a0a0f0; }
      div#table table td span.withcomment, div#table table th span.withcomment {
        font-style: italic; }
      div#table table td a.edit, div#table table th a.edit {
        font-size: 50%;
        font-weight: normal;
        vertical-align: top;
        color: red; }
    div#table table th {
      font-weight: bold; }

div#explanation {
  width: 50em;
  padding: 1.3em 0em 0.5em 8em; }
  div#explanation p {
    padding: 0.2em 0em; }

div#admin_links {
  padding: 1.3em 0em 0.5em 8em; }
  div#admin_links li {
    padding: 0.2em 0em; }