html {
  height: 100%;
  font-family: sans-serif;
}

body {
  height: 100%;
  margin: 0;
  padding-left: 1em;
  padding-right: 1em;
}

nav {
    padding-top: 2em;
    padding-left: 1em;
}
nav ul {
    list-style-type: none;
    padding-left: 1em;
}
nav > ul {
    padding-left: 0;
}

section.content a {
    text-decoration: none;
    outline: none;
}
h1 {
    color: black;
}
section.content a:hover h1::after {
    content: " #";
}
h2 {
    color: black;
}
section.content a:hover h2::after {
    content: " #";
}
h3 {
    color: black;
}
section.content a:hover h3::after {
    content: " #";
}
h4 {
    color: black;
}
section.content a:hover h4::after {
    content: " #";
}
h5 {
    color: black;
}
section.content a:hover h5::after {
    content: " #";
}
h6 {
    color: black;
}
section.content a:hover h6::after {
    content: " #";
}

pre {
    overflow-x: auto;
    overflow-y: hidden;
}
table.highlighttable td.code {
    width: 100%;
}
div.linenodiv pre {
    line-height: 125%;
}

.columns-2 {
    column-count: 2;
}
.float-left {
    float: left;
}
.float-right {
    float: right;
}


@media (min-width: 45em) {
    section.content {
        padding-left: 15em;
    }
    nav {
        max-width: 14em;
        position: absolute; top: 0px; left: 0px;
        overflow: auto;
    }
}