.navbar {
    margin-bottom: 24px;
}

.initiallyHidden {
    display: none;
}

#latexInputTextArea {
    font-family: monospace;
}