@import url(monokai_sublime.css);
@import url(grid.css);
header {
  color: white;
  background-color: #00274c;
  margin-bottom: 20px;
  margin-top: 0; }
  header h1 {
    color: #ffcb05;
    text-align: left;
    font-family: Georgia, "DejaVu Serif", "Bitstream Vera Serif", "Bitstream Charter", "Century Schoolbook L", serif;
    font-size: 48px;
    padding-top: 10px;
    padding-bottom: 10px;
    margin: 0;
    line-height: 60px; }
  header img {
    margin-top: 20px;
    margin-bottom: 20px;
    display: block; }
  header a {
    font-family: Verdana, "DejaVu Sans", "Bitstream Vera Sans", sans-serif; }
  header a:link {
    color: white; }
  header a:visited {
    color: white; }

nav ul {
  margin: 0;
  padding: 0;
  list-style: none; }
nav li {
  display: inline-block;
  padding-top: 0.20833em;
  padding-bottom: 0.20833em;
  vertical-align: middle;
  padding-right: 0.5em;
  font-family: Verdana, "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
  font-size: 24px;
  line-height: 30px;
  font-weight: bold; }
  nav li a {
    display: block;
    font-size: 24px;
    font-weight: bold; }
nav .active {
  font-style: italic;
  color: white; }

footer {
  color: white;
  background-color: #00274c;
  margin-top: 1.25em; }
  footer p {
    font-family: Verdana, "DejaVu Sans", "Bitstream Vera Sans", sans-serif;
    font-size: 16px;
    line-height: 20px; }
  footer a:link {
    color: #ffcb05; }
  footer a:visited {
    color: #ffcb05; }
  footer .copyright {
    margin-top: 1.25em;
    text-align: right; }

.center {
  text-align: center; }

img {
  display: block; }

a {
  text-decoration: none; }

a:link {
  color: #0000cc; }

a:visited {
  color: #000088; }

a:hover {
  text-decoration: underline; }

.hljs {
  display: block;
  padding: 1.25em;
  background: #23241f; }

pre {
  margin: 0;
  margin-bottom: 20px;
  font-size: 16px; }

body {
  font-family: Verdana, "DejaVu Sans", "Bitstream Vera Sans", sans-serif; }

body {
  margin-left: 0;
  margin-right: 0;
  margin-top: 0;
  margin-bottom: 0;
  -webkit-text-size-adjust: 100%; }

dl.bib2xhtml {
  margin: 0; }
  dl.bib2xhtml dt {
    float: left;
    clear: left; }
  dl.bib2xhtml dt:after {
    content: ":"; }
  dl.bib2xhtml dd {
    padding-left: 1em;
    padding-bottom: 1.25em; }

body {
  font-size: 16px;
  line-height: 1.25; }

h1, h2, h3, h4, h5, h6, p {
  margin-top: 0;
  margin-bottom: 0; }

h1 {
  font-size: 3em;
  padding-top: 0.20833em;
  padding-bottom: 0.20833em; }

h2 {
  font-size: 2em;
  padding-top: 0.3125em;
  padding-bottom: 0.3125em; }

h3 {
  font-size: 1.3333em;
  padding-top: 1.09381em;
  padding-bottom: 0.46876em; }

h4 {
  font-size: 1.1667em;
  padding-top: 1.42849em;
  padding-bottom: 0.5357em; }

h5 {
  font-size: 1em;
  padding-top: 1.875em;
  padding-bottom: 0.625em; }

h6 {
  font-size: 1em;
  padding-top: 0.625em;
  padding-bottom: 0.625em; }

hr {
  border: 0;
  background-color: black;
  height: 3px;
  margin-top: 9px;
  margin-bottom: 8px; }

ul {
  margin: 0;
  padding-left: 1.25em;
  padding-bottom: 1.25em; }

p {
  padding-bottom: 1.25em; }

table {
  border-collapse: collapse;
  border-width: 0;
  margin-bottom: 20px; }

td {
  border: 0;
  padding: 0; }

.benchmark table {
  width: 260px; }
  .benchmark table td:first-child {
    width: 70%;
    text-align: right;
    font-family: Arial, "Helvetica Neue", Helvetica, sans-serif; }
  .benchmark table td:first-child:after {
    content: ":"; }
  .benchmark table td:nth-child(2) {
    width: 30%;
    text-align: right;
    font-weight: bold; }
.benchmark h1, .benchmark h2, .benchmark h3, .benchmark h4, .benchmark h5, .benchmark h6, .benchmark p {
  text-align: center; }