@import "../../style/base.css";

body
{
    margin-left: 5%;
}

div#pageHeader h1
{
    color: #999;
    font-weight: bold;
    letter-spacing: 0.15em;
    font-style: italic;
    padding-bottom: 1em;
}

div#pageFrame
{
    background-color: white;
}

div#pageFooter
{
    clear: both;
    font-size: 85%;
    border-top: 1px solid gray;
}

div#pageNavbar
{
    width: 20%;
    float: left;
    background: #cce;
    padding-bottom: 5px;
}

div#pageBody
{
    margin-left: 25%;
}

div#pageNavbar h2
{
    padding-left: 2px;
    background: #aac;
    margin-top: 0px;
    border-top: solid black 2px;
    font-size: 100%
}

div#pageNavbar dl.datelist dt
{
    font-family: Georgia, serif;
    /* background: #bbc; */
    border-bottom: dashed 1px #999;
}

div#pageNavbar dl.datelist dd { margin-left: 1em; margin-bottom: 0.5em; }

div#pageNavbar dl.datelist, div#pageNavbar ul
{
    margin-bottom: 3em;
}

div.subhead
{
    font-family: Georgia, serif;
    font-size: 110%;
}

/* Link badges -- currently used in the pageFooter */

.badge
{
    float: right;
    line-height: 110%;
    padding: 2px;
    margin-right: 2px;
    /* font-style: italic; */
}

.badge:hover { background-color: #ccccff; }

#pageBody h3 { color: black; }

/* #pageBody h4:after { content: "."; } */
#pageBody h4
{
    /* Undo some inherited settings */
    color: #666; text-transform: none;

    /* Set this up as a run-in paragraph-style heading */
    display: run-in; margin-right: 1.5em;
}

table.tabular th { font-weight: normal; }

table.tabular td, table.tabular th { padding-left: 1em; padding-right: 1em;}

table.tabular
{
    margin-left: 5em;
    border-top: 2px solid black;
    border-bottom: 2px solid black;
}

/* Stuff for typesetting the lecture schedule */
table#lectures { width: 100%; }

table#lectures div.date
{
    font-family: Georgia, serif;
    /* font-family: "Trebuchet MS", sans-serif; */
    padding-left: 2px;
    background: #cce;
    /* background: #aac; */
    /* background-color: #ccddcc; */
    margin-bottom: 1pt;
}

table#lectures div.topic { margin-bottom: 3pt; }

table#lectures div.noclass
{
    margin-bottom: 3pt;
    font-style: italic;
    color: red;
}

table#lectures  td.tuesday
{
    padding-right: 1ex;
    padding-left: 0px;
}

table#lectures  td.thursday
{
    padding-left: 1ex;
    padding-right: 0px;
}

table#lectures td
{
    padding-bottom: 2ex;
}

pre
{
    margin-left: 4em;
}