body {
  margin: 0 0 50vh 0;
  padding: 0;
}

main {
  font-family: sans-serif;
  font-size: 10pt;
  margin: 0;
  padding: 4px;
}

div#content {
  max-width: 800px;
  padding-left: 10px;
}

hr {
  margin: 2em 0;
  padding: 0;
}
h1 {
  font-size: 2em;
  line-height: 2.5em;
  margin: 0 0 1em 0;
  padding: 0;
}
h2 {
  font-size: 1.5em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
h3 {
  font-size: 1.17em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
h4 {
  font-size: 1em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
h5 {
  font-size: 0.83em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
h6 {
  font-size: 0.67em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
p {
  font-size: 1em;
  line-height: 2em;
  margin: 0 0 1em 0;
  padding: 0;
}
ol {
  margin: 0 0 1em 3em;
  padding: 0;
  /*list-style: none;*/
}
ul {
  margin: 0 0 1em 3em;
  padding: 0;
  /*list-style: none;*/
}
li {
  margin: 0;
  line-height: 2em;
}
option {
  line-height: 2em;
  margin: 0;
  padding: 0;
}
select {
  line-height: 2em;
  margin: 0;
  padding: 0;
}
label {
  line-height: 2em;
  margin: 0;
  padding: 0;
}

table {
  border: none;
  border-collapse: collapse;
  border-spacing: 0;
  margin: 0;
  padding: 0;
}
tr {
  margin: 0;
  padding: 0;
}
td {
  margin: 0;
  padding: 0;
}

/* navigation by sidebar (for desktop screens) */
main {
  margin: 0 0 0 calc(100px + 1em);
}
div#navi {
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  width: 100px;
  overflow-x: hidden;
  /* overflow-y: scroll; */
  background-color: #303030;
  scrollbar-color: #808080 #303030;
}
ul#list-navi {
  width: 100px;
  margin: 0;
  list-style-type: none;
}
select#menu-navi {
  /* hide by default */
  display: none;
  appearance: none;
  -moz-appearance: none;
  -webkit-appearance: none;

  background: url('/files/arrow_down.png') no-repeat right #303030;
  background-origin: content-box;
  border: none;
  color: #fff;
  outline: none;
}

/* on small screens...
 *  + turn sidebar into topbar
 *  + revert positioning of the navbar (fixed->relative)
 *  + hide list navigation (display: (implicit) block->none)
 *  + show menu navigation (display: none->block)
 */
@media (max-width: 800px) {
  main {
    margin: 0;
  }
  div#navi {
    position: relative;
    width: 100%;
  }
  ul#list-navi {
    display: none;
  }
  select#menu-navi {
    display: block;
  }
}

/* list items */
ul#list-navi li {
  display: block;
  height: 0;
  margin: 0;
  color: #fff;
  opacity: 0;
  font-size: 1em;
  line-height: 2em;
  text-align: center;
  transition: all 0.4s ease-out;
}
ul#list-navi li a {
  display: none;
  color: #fff;
  text-decoration: none;
}
ul#list-navi li a:focus {
  outline: none;
  text-decoration: underline solid #fff;
  text-decoration-thickness: 0.3em;
  text-underline-offset: 0.3em;
}

/* when `shown` class is attached...
 *  + transition in the list items (height 0->2em, opacity 0->1, margin-bottom 0->.5em)
 *  + show text immediately (display none->block)
 */
ul#list-navi li.shown {
  height: 2em;
  margin: 0 0 0.5em 0;
  opacity: 1;
}
ul#list-navi li.shown a {
  display: block;
}

/* on hover, list items light up (color #303030->#444) */
ul#list-navi li.shown:hover {
  background-color: #444;
}

/* for trigger items, draw an arrow beside the text */
ul#list-navi li.shown.trigger {
  padding: 0 1em 0 0;
  background: url('/files/arrow_down.png') no-repeat right;
  background-origin: content-box;
  text-decoration: underline;
}
ul#list-navi li.shown.trigger:focus {
  outline: none;
  text-decoration: underline solid #fff;
  text-decoration-thickness: 0.3em;
  text-underline-offset: 0.3em;
}
ul#list-navi li.shown.trigger.selection {
  padding: 0 1em 0 0;
  background: url('/files/arrow_up.png') no-repeat right #444;
  background-origin: content-box;
}

/* center horizontal rules */
ul#list-navi hr {
  width: 80%;
  margin: 0 auto 0.5em auto;
  color: #fff;
}

/* menu items */
select#menu-navi:focus {
  padding: 0 0.5em 0 0;

  background: url('/files/arrow_up.png') no-repeat right #000;
  background-origin: content-box;
}
select#menu-navi option {
  height: 2em;
  margin: 0;
  width: 12em;
}

/* Header content */
table#header {
  border-collapse: collapse;
  margin-bottom: 1em;
  width: 100%;
}
table#header td.main {
  color: #000;
  font-size: 2.5em;
  padding: 0 0 0 10px;
  white-space: nowrap;
}
table#header td.main a {
  color: #000;
  text-decoration: none;
}
table#header td.sub {
  color: #777;
  border-top: solid 1px #ccc;
  font-size: 1em;
  padding: 0 0 0 10px;
}
table#header td.sub a {
  color: #777;
}
/* Header logos */
table#header td.logo {
  width: 96px;
  vertical-align: top;
}

/* Footer */
div#cgit div.footer,
div#footer {
  margin: 2em 0 0 0;
  color: #777;
  font-style: italic;
}

div#cgit div.footer a,
div#footer a {
  color: #777;
}

div#footer {
  margin-left: calc(100px + 1em);
}

@media (max-width: 800px) {
  div#footer {
    margin-left: 0;
  }
}