/* Standard style sheet for courses -fp */
/* Override default to more readable sans-serif font */
/* Base color: blue, base font: sans-serif */

body {
    color: black;
    font-size: 14.5px;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    line-height: 22px;
}

h1 {
    font-size: 26px;
    font-weight: bold;
    line-height: 34px;
    margin: 0.67em 0;
}

h2 {
    font-size: 22px;
    font-weight: bold;
    line-height: 28px;
    margin: 0.67em 0;
}

h3 {
    font-size: 18px;
    font-weight: bold;
    line-height: 24px;
    margin: 1em 0;
}

table {
    padding: 0;
}

A:link {
    color: #af3526;
}

/* new link, blue */
A:visited {
    color: #af3526;
}

/* visited link, violet */
A:hover {
    color: #CC9900;
}

/* hover, gold */
A:active {
    color: #FF0000;
}

/* active, red */
UL {
    padding-top: 1ex;
    padding-bottom: 1ex;
}

LI.wide {
    padding-top: 0.5ex;
    padding-bottom: 0.5ex;
}

TH {
    vertical-align: top;
}

td {
    vertical-align: top;
}

div.sidebar {
    position: fixed;
    top: 0;
    left: 0;
    width: 240px;
    height: 100%;
    font-size: 15px;
    line-height: 15px;
    background: #e8e6d8;
}

div.content {
    margin-left: 240px;
}

div.sidebar>table {
    height: 200px;
}

/* sidebar, left */
td.main {
    background-repeat: repeat;
    background-attachment: scroll;
    background-position: 0 0;
}

/* main body, right */
td.lecture {
    padding-left: 1em;
}

td.planned {
    color: #9E9EE7;
    padding-left: 1em;
}

/* planned lectures */
td.recitation {
    background: #e8e6d8;
    padding-right: 6px;
}

/* recitation lines */
DT {
    padding: 1ex 0ex;
}

/* definition term */
/* DT:first-child { padding: 0ex 0ex; } */
/* first definition term */
/* DT.first { padding: 0ex 0ex; } */
/* first definition term */
B.here {
    font-weight: normal;
    color: rgb(30, 30, 30);
}

B.sidebar_title {
    font-size: 18px;
    font-weight: bold;
    color: black;
}

/* current node, black */
PRE,
TT,
CODE {
    font-family: monospace;
}

/* font-size: large; */
/* fixed width fonts */
.pad {
    padding-left: 12px;
}

td.recbody {
    padding-right: 6px;
}

table td:nth-child(4) {
        white-space: nowrap;
}

ul.whatnew {
    background-color: white;
}

li.newest {
    padding: 6px;
    border-style: solid;
    border-width: 2px;
    background-color: #FACC2E;
}

table.paddedtable td {
    padding: 4px 10px 4px 10px;
}

.todo {
    color: red;
}