body {
  max-width: 60em; margin: auto;
  margin-bottom: 2em;
}
div.navbar {
  border-top: 1px solid black; border-bottom: 1px solid black;
  text-align: center; padding: .2em;
  margin-bottom: 3em;
}
div.navbar a {
  display: inline-block; width: 13em; text-align: center;
  /* background: red; */
  padding: .2em;
  font-family: sans-serif; color: #666;
  text-decoration: none;
  font-family: "Merriweather Sans"; font-weight: 300;
}

div.navbar a:hover {
/*  background: #ddd; */
  color: white;
  background: #666;
}

#page-header {
  margin-top: 1.3em;
  margin-bottom: 1.3em;
  font-family: "Merriweather Sans"; font-weight: 800;
}
#page-header div.subtitle {
  margin-top: -.2em;
  font-weight: normal; font-family: "Merriweather Sans";
}

div.article-footer {
  margin-left: 0em;
  margin-top: 3em;
  margin-bottom: 0;
}

div.article-footer-heading {
  margin-bottom: .5em;
  font-family: "Merriweather Sans"; font-weight: 800;
}

p.article-footer-body {
  margin: .3em 0;
  font-style: italic;
}

h1 {
  font-size: 1.5em;
}
h2 {
  margin-top: 1.5em;
  font-size: 1.17em;
}
h3 {
  margin-top: 1.5em;
  font-size: 1em;
}

h1, h2, h3, th {
  font-family: "Merriweather Sans"; font-weight: 800;
}

tt {
  font-family: "Roboto Mono"; color: #006; /* background: #f4f4ff;*/
}

p, li, text, div.margin, td {
  font-family: "Merriweather"; font-weight: 300;
}
p.eq {
  margin-left: 4em;
}


div.code-cpp {
  font-family: "Roboto Mono", monospace; white-space: pre;
  font-size: .95em;
  font-weight: 300; margin-left: 1em;
}

div.image {
  text-align: center;
}

div.footbar {
  border-top: 1px solid black;
  font-family: sans-serif;
  font-family: "Merriweather Sans"; font-weight: 300;
  margin-top: 2em;
}

div.footbar p {
  font-family: "Merriweather Sans"; font-weight: 300;
  font-size: .8em;
  color: #444;
  margin-left: 50em;
}

div.footbar a {
  color: #444;
  text-decoration: none;
}

div.footbar a:hover {
  text-decoration: underline;
}


.lang-selected {
  vertical-align: .1em;
  font-size: .8em;
  font-weight: normal;
  padding: .1em .3em;
  background: #666;
  color: white;
  font-family: "Merriweather Sans", sans-serif;
}

.lang-unselected {
  vertical-align: .1em;
  font-size: .8em;
  padding: .1em 0;
  color: #666;
  text-decoration: none;
}

.lang-disabled {
  vertical-align: .1em;
  font-size: .8em;
  padding: .1em 0;
  color: #ddd;
}


.more {
margin-left: .5em; margin-top: -.5em; margin-bottom: 1em; font-size: .9em; line-height: 1.4em; color: #444;
display: none;
}

.morebutton {
color: #666;
cursor: pointer;
padding-left: .5em;
padding-right: .5em;
}

div.margin {
  position: absolute;
  left: -15em;
  width: 13em;
  font-size: .8em;
  color: #333;
  border-right: 1px dotted #333;
  padding-right: .5em;
}

article {
  position: relative;
}


div.contest table {
  border-collapse: collapse;
  table-layout: fixed;
  width: 100%;
}
div.contest td, div.contest th {
  padding: 1px 5px 3px;
  margin: 0;
  text-align: left;
  font-size: .8em;
}
div.contest th {
  border-bottom: 1px dotted #ddd;
  padding-bottom: 4px;
}
div.contest tr:hover td {
  background: #eee;
}
div.contest .th-name { width: 23%; }
div.contest .th-stage { width: 18%; }
div.contest .th-author { width: 25%; }
div.contest .th-submit { width: 6%; }
div.contest .th-solutions { width: 28%; }