html, body, .viewport {
    width: 100%;
    height: 100%;
    margin: 0;
}

body {
    font-family: 'Lexend Deca', sans-serif;
    overflow: hidden;
}

a, a:visited {
    text-decoration: none;
    color: #567;
    cursor: pointer;
}

a:hover, a.current {
    font-weight: bold;
    color: #07f;
}

a.inactive {
    color: #aaa;
}

pre {
    font-family: Menlo, Monaco, "Courier New", monospace;
}

.vbox {
    display: flex;
    flex-direction: column;
}

.scrollable {
    position: relative;
    overflow-y: scroll;
}

.scrollable > * {
    position: absolute;
}

.squishy {
    flex-grow: 1;
}

.stretchy {
    flex-grow: 4;
}

.hbox {
    display: flex;
    flex-direction: row;
}

.space-between {
    justify-content: space-between;
}

header, footer {
    height: 26px;
    background: cornflowerblue;
    padding: 5px 0 0 5px;
}

.main {
    flex: 1;
}

article {
    flex: 5;
    border-top: solid 2px;
    border-bottom: solid 2px;
    visibility: hidden;
}

nav {
    border: solid 2px;
    font-size: 12px;
    flex: 1;
}

nav > *:first-child {
    border-bottom: solid 2px;
}

nav > * {
    padding-left: 5px;
    padding-right: 5px;
}