html {
  height: 100%;
  overflow-y: scroll;
  font-size: 1em;
}

body {
  height: 100%;
  margin: 0;
  font-family: sans-serif;
  font-size: 1em;
  background-color: #FFFFFF;
}

#wrapper {
  margin: 0 auto;
  width: 720px;
  height: 100%;
  background-color: #F7F7F7;
  background-color: #FFFFE0;
}

#content {
  padding: 20px; /* tb lr */
  margin-top: 1.5em;
  margin-bottom: 20px;
  margin-bottom: 0px;
  font-size: 0.8em;
  color: #000;
  line-height: 1.5em;
  background-color: #F7F7F7;
  background-color: #FFFFE0;
}

#header {
  padding: 4px 20px 13px 20px; /* t r b l */
  background-color: #F7F7F7;
  background-color: #FFFFE0;
}

#navbar {
  font-size: 70%;
  margin: 0;
  padding: 0;
  font-size: 70%;
}

#flush {
  clear: both;
  height: 0;
  width: 0;
}

#navbar #left {
  margin: 0;
  padding: 0;
  text-align: left;
  width: 49%;
  float: left;
}

#navbar #right {
  margin: 0;
  padding: 0;
  text-align: right;
  float: right;
  width: 49%;
}

br {
  margin: 0;
  padding: 0;
}

#footer {
  margin-top: 0px;
  padding: 1px 20px 20px 20px;
  font-size: 65%;
  color: #222;
  background-color: #F7F7F7;
  background-color: #FFFFE0;
}



/* Structural Elements */
h1,h2,h3,h4,h5,h6 {
    color: black;
    background: none;
    font-weight: normal;
    margin: 0;
    padding-top: 1.2em;
    padding-bottom: .17em;
    border-bottom: none;
    /*border-bottom: 1px solid #aaa;*/
    width: auto;
}

h1 { font-size: 160%; }
/*h1 { font-size: 188%; }*/
h2 { font-size: 150%; }
h3,h4,h5,h6 {
    border-bottom: none;
    font-weight: bold;
}
h3 { font-size: 132%; }
h4 { font-size: 116%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }

/*
h1, h2, h3 { margin: 0; padding: 0; }
h1 { font-size: 1.6em; font-weight: normal;}
h2 { font-size: 150%; font-weight: normal; margin-top: 1.5em;}
h3 { font-size: 100%; font-weight: bold;   margin: 2em 0em 0.5em 0em;}
*/

hr {
  padding: 0;
  margin-top: 0.1em;
  margin-bottom: 0.2em;
  height: 1px;
  background-color: #222;
  border: none;
}

p {
  margin: .4em 0 .5em 0;
  line-height: 1.5em;
}
p img {
  margin: 0;
}

/*
p {
  padding: 0;
  margin: 0.5em 5.5em 0.0em 0.0em;
  line-height: 1.5em;
}
*/

pre, code, tt {
    /*
     * It's important for this rule to first reference an actual font name, some browsers will render the monospace text
     * too small otherwise, namely Firefox, Chrome and Safari
     */
    font-family: monospace, "Courier New";
}
code {
    background-color: #f9f9f9;
}
pre {
    padding: 1em;
    border: 1px dashed #2f6fab;
    color: black;
    background-color: #f9f9f9;
    line-height: 1.1em;
}
ul {
    line-height: 1.5em;
    margin: .3em 0 0 1.5em;
    padding: 0;
}
ol {
    line-height: 1.5em;
    margin: .3em 0 0 1.5em;
    padding: 0;
}

li {
    margin-bottom: .1em;
}

#lectures {
    margin-top: 1em;
}

#lectures ol ul {
    list-style-type: disc;
}

#lectures ol li {
    margin-bottom: .9em;
}

#lectures ul li {
    margin-bottom: .9em;
}

#lectures ol li li {
    margin: .3em;
}

#lectures ol hr {
    color: blue;
    background-color: blue;
    margin: 0;
    padding: 0;
}

dt {
    font-weight: bold;
    margin-bottom: .1em;
}
dl {
    margin-top: .2em;
    margin-bottom: .5em;
}
dd {
    line-height: 1.5em;
    margin-left: 2em;
    margin-bottom: .1em;
}



a { text-decoration: none; }

a:hover { text-decoration: none; }


/* NAVIGATION BAR */

#navcontainer {
  clear: both;
  font-size: 0.8em;
  background-color: #00008B;
}

#navigation ul {
  margin: 0 0 0 20px;
  padding: 0;
  border-left: 2px solid #eee;
  list-style: none;
  text-align: left;
  background-color: #00008B;
}

#navigation ul li {
  display: inline;
  margin: 0;
  padding: 5px 0; 
  border-right: 2px solid #FFFFE0;
}

#navigation ul li a {
  padding: 0 10px;
  font-weight: bold;
  color: #FFFFF0;
  background-color: #00008B;
}

#navigation ul li a:hover {
  color: #ddd;
  text-decoration: none;
}