html, body {
    margin: 0;
    width: 100%;
    height: 100%;
    font-size: large;
    font-family: sans-serif;
}
pre {
    font-size: small;
    font-family: monospace;
}