/* Fixes navigation panel overlaying content */
html {
    font-size: 13px;
}

body {
    padding-top: 100px; /* make room at top of page for the navbar */
    background: #aaa;
}

/* Hack to avoid name clash between pygments and mathjax */
.MathJax .mo,
.MathJax .mi {
    color: inherit;
}

.card {
    margin-top: 5em;
}


textarea {
    font-family: monospace !important;
}
.noleftmargin {
    margin-left: 0px;
}

.CodeMirror {
    border: 1px solid #eee;
    height: auto;
}