.hidden {
    display: none;
}

pre {
    white-space: pre-wrap;
    word-wrap: break-word;
}

body {
    font-family: monospace;
    margin: 20px;
    background-color: #f5f5f5;
}

#inputcontainer {
    margin: 20px 0;
}

#nav {
    position: fixed;
    top: 20px;
    right: 20px;
    background: white;
    padding: 10px;
    border: 1px solid #ccc;
}