body {
  margin: 15px auto;
  color: #111;
  background-color: #fff;
  padding: 0 10px;
  font-family: Arial, Helvetica, sans-serif;
}

a {
  color: #0040ff;
  text-decoration: none;
}

a:hover {
  background-color: #f0f0f0;
}

code {
  font-family: "Courier New", Courier, monospace;
  background: #f0f0f0;
}

nav ul {
  list-style-type: none;
  padding: 0;
}
nav li {
  display: inline;
}
nav li:after {
  content: " /";
}
nav li:last-child:after {
  content: "";
}

hr {
}

footer {
  padding: 10px;
  font-size: small;
  border-top: 2px solid;
}

header {
  padding: 10px;
  border-bottom: 2px solid;
}

main {
  padding: 0px 10px 0px 10px;
}

@media (min-width: 800px) {
  body {
    max-width: 65%;
    font-size: large;
  }
}

pre {
  background: #f0f0f0;
  border: 1px solid #aaa;
  overflow: auto;
  padding: 10px;
}

table {
    border: 1px solid;
    margin: 10px;
}

td, th {
    padding: 2px 4px 2px 4px;
}

th {
    border-bottom: 1px solid;
}

.table_numeric_field {
    text-align: right;
}

.table_centered_field {
    text-align: center;
}

tr:nth-child(even) {background: #cccccc}

.comments {
  font-size: medium;
  font-style: italic;
}

.footer-button {
    width: 36px;
    height: 14px;
}