body {
    font-family: 'Open Sans', verdana, sans-serif;
    font-size: 0.8em;
    background-color: lightyellow;
    margin: 0;
}

body.no_background_color {
    background-color: white;
}

p {
    margin-top: 5px;
    margin-bottom: 0;
}

ul, ol {
    margin-top: 0;
    margin-bottom: 0;
    margin-left: 0;
    padding-left: 25px;
}

ul > li {
    margin-top: 5px;
    margin-bottom: 3px;
    padding-left: 0;
    margin-left: 4px;
}

ol > li {
    margin-top: 10px;
    margin-bottom: 5px;
    padding-left: 4px;
    margin-left: 0;
}

nav {
    background-color: #00adbc;
}

.session_header, .resource_header, .syllabus_header {
    background-color: #cc66ff;
    padding: 10px;
}

hr {
    display: block;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    margin-left: auto;
    margin-right: auto;
    border-style: inset;
    border-width: 1px;
}

div.instruction {
    border: 3px solid black;
    margin: 10px;
    padding: 10px;
    float: left;
    width: 15%;
}

aside {
    border: 4px solid black;
    margin: 10px;
    padding: 10px;
    float: right;
}

aside h3 {
    font-family: 'Open Sans Extra Bold', verdana, sans-serif;
    font-weight: bolder;
    font-size: 110%;
    padding-left: 5px;
    padding-right: 5px;
    color: black;
    text-align: left;
}

aside.small {
    width: 20%;
}

.less_important {
    font-family: 'Open Sans', verdana, sans-serif;
    font-weight: normal;
    font-size: 90%;
}

strong, .important {
    font-family: 'Open Sans Bold', verdana, sans-serif;
    font-weight: bold;
}

.very_important {
    font-family: 'Open Sans Extra Bold', verdana, sans-serif;
    font-weight: bolder;
    font-size: 105%;
    padding-left: 5px;
    padding-right: 5px;
    color: red;
}

.very_important_black {
    font-family: 'Open Sans Extra Bold', verdana, sans-serif;
    font-weight: bolder;
    font-size: 105%;
    padding-left: 5px;
    padding-right: 5px;
    color: black;
}

.important_emphasis {
    font-family: 'Open Sans Bold Italic', verdana, sans-serif;
    font-style: italic;
    font-weight: bolder;
}

.very_important_emphasis {
    font-family: 'Open Sans Extra Bold Italic', verdana, sans-serif;
    font-style: italic;
    font-weight: bolder;
    font-size: 105%;
    padding-left: 5px;
    padding-right: 5px;
    color: red;
}

.red_emphasis {
    font-size: 105%;
    padding-left: 5px;
    padding-right: 5px;
    color: red;
}

a.emphasized_link {
    font-family: 'Open Sans Bold', verdana, sans-serif;
    font-weight: bold;
    color: black;
}

.required {
    font-weight: bold;
    color: red;
}

.optional {
    font-weight: bold;
    font-style: italic;
    color: green;
}

.big_code {
    font-family: 'Open Sans', Consolas, sans-serif;
    font-weight: bolder;
    font-size: 110%;
}

.newspaper {
    column-count: 3;
    column-rule: 3px solid black;
    padding-top: 10px;
}

.newspaper2 {
    column-count: 2;
    column-rule: 3px solid black;
    padding-top: 10px;
}