/* paragraph separator */
*.separator {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    border-top: 1px dotted #B36B00;
    border-bottom: 1px dotted #B36B00;
}
/* Source code */
code {
    display: block;
    margin: 0.5em 1em;
    padding: 0.5em;
    color: black;
    background-color: #FFCC80;
    border: 1px dotted #B36B00;
    font-family: monospace;
}
/*
 Course formatting stylesheet
*/
*.course {
    margin: 0.5em;
    padding: 0.5em;
    border: 1px dotted #B36B00;
}
/*
 News formatting stylesheet
*/
*.news {
    padding: 0.5em;
    border-bottom: 1px dashed #B36B00;
}
*.news:hover {
    color: black;
    background-color: #FFE6BF;
}