#banner {
    position: fixed;
    top: 0; left: 1.5rem;
    width: 100vh; height: 1.5rem;
    margin: 0;
    transform-origin: top left;
    transform: rotate(90deg);
    display: flex;
    justify-content: space-between;
    border-top: thin solid;
}

#banner > * {
    padding: 0 .5em;
}

#nav a, #banner a {
	text-decoration: none;
}
#nav>a, #nav>li {
	margin: 0;
	padding: .5em;
    list-style: none;
    cursor: pointer;
    display: list-item;
}

#nav>a:hover, #nav>li:hover {
    text-decoration: underline;
}

#nav h3 {
    font-size: small;
    margin: 0;
    padding: .5em;
    border-top: thin solid;
}

#nav {
    position: fixed;
    margin: 0;
    padding: .5em 0;
    top: 0; right: 0;
    height: 100vh;
    width: 12rem;
    overflow-y: auto;
    overflow-x: hidden;
    z-index: 4;
    border-left: thin solid;
}

#content {
    margin: 0;
    padding: .5em;
    position: absolute;
    top: 0; left: 1.5rem; right: 12rem;
    min-height: 100vh;
    z-index: 3;
}

#output {
    margin-top: 0;
}

body {
    font-family: sans-serif;
    overflow-y: scroll;
}

html,
body {
	margin: 0;
	padding: 0;
}
* {
	box-sizing: border-box;
}

#haltButton {
    position: fixed;
    top: .5em; right: calc(12rem + .5em);
}