@import "../S/kurs.css";

div.assignment {
    margin: 3ex 0;
    padding: 1ex;
    box-shadow: 2px 2px 8px rgba(0,0,0,0.3);
}

div.assignment > b:first-child {
    font-family: sans-serif;
    font-size: 110%;
    color: #5e5086;
}

code { color: #453a62; }
pre { margin-left: 1em; }

pre.interactive code { font-style: italic; }

div.nochecks .autochecks { display: none; }