html, body {
    min-width: 100vw;
    min-height: 100vh;
    padding:0;
    margin:0;
    font-size: 14pt;
}

header, main {
    padding-left: 4.1vw;
    padding-right: 8.3vw;
}

header {
    background: darkgray;
    min-height: 15vh;
    padding-top: 2rem;
}

pre {
    overflow: scroll;
}