body { 
  background-color: white;
  font-size: 11pt;
  }
div#nav {
  background-color: #ddd;
  float: left;
  width: 28%;
  }
div#title { 
  margin-left: 28%;
  }
div.sep { 
  clear: both;
  height: 1px;
  margin: 0;
  padding: 0;
  overflow: hidden;
  }
div#annc {
  float: left;
  width: 28%;
  }
div#lower { 
  background-color: #ddd;
  margin-top: 5px;
  }
div#content {
  background-color: white;
  margin: 0;
  margin-left: 28%;
  padding-left: 18px;
  }

div#nav a { 
  display: block;
  background-color: #eee;
  padding: 0.5ex 1em;
  margin: 6px;
  text-align: right;
  text-decoration: none;
  font-size: 80%;
  text-transform: uppercase;
  font-weight: normal;
  }
div#nav a:hover { 
  background: #aaa;
  }

div#title h1 { 
  font-size: 150%;
  text-align: left;
  margin: 0;
  padding: 0;
  padding-top: 1.4em;
  padding-left: 18px;
  }

div#annc h2 {
  font-size: 80%;
  margin: 4ex 0;
  text-align: center;
  text-transform: uppercase;
  font-weight: normal;
  }
div#annc p {
  margin: 12px;
  padding-bottom: 1ex;
  text-align: justify;
  font-size: 80%;
  }
div#annc p strong, div#annc p b { 
  padding-right: 0.75em;
  }

div#content h2 {
  background-color: #ddd;
  margin: 0 0 0 -12px;
  font-size: 140%;
  padding: 1ex 12px;
  }
div#content h3 {
  font-size: 120%;
  margin-top: 3ex;
  margin-bottom: 1ex;
  }
div#content h4 {
  font-size: 100%;
  margin-top: 1ex;
  margin-bottom: 1ex;
  }

a.dis { color: #888 }
a:active { color: blue }
a:visited { color: navy }
h1, h2, h3, h4, div#nav a, div#annc {
  font-family: verdana, sans-serif;
  }
h1, h2 {
  font-weight: normal;
  }
h3, h4 {
  font-weight: bold;
  }
p.facts {
  padding-left: 1.5em;
  text-indent: -1.5em;
  }

table.sched {
  width: 100%;
  font-size: 95%;
  margin-left: -12px;
  }
table.sched th {
  padding: .5ex .5em;
  margin: 0;
  font-weight: bold;
  text-align: left;
  }
table.sched td {
  padding: .3ex .5em;
  margin: 0;
  vertical-align: middle;
  text-align: left;
  border-style: none solid;
  border-color: white;
  border-width: 0px 1px;
  }
table.sched tr { padding: 0; margin: 0 }

table.sched th.month, table.sched td.month, 
  table.sched th.day, table.sched td.day,
  table.sched td.sec { width: 1px }
table.sched th.ref, table.sched td.ref, 
  table.sched table.sched td.due {
  text-align: center;
  width: 1px;
  }
table.sched td.day { text-align: right }
td.due th.due { text-align: left }
td.topic th.topic { text-align: left }
table.sched td.sec { text-align: left }
table.sched th.month { text-align: left }

table.sched th.month,
  table.sched td.day,
  table.sched td.sec { padding-left: 12px }
table.sched td.month { padding-left: 0.2em; border-left-width: 0 }
table.sched td.day { padding-right: 0.2em; border-right-width: 0 }
table.sched td.day,
  table.sched td.sec { border-left-width: 0 }
table.sched td.due td.topic { border-right-width: 0 }
td.topic { white-space: nowrap}
td.due { white-space: nowrap}

table.sched tr.evn { background-color: #ddd; }
table.sched tr.odd { background-color: #fff; }
table.sched tr.now { background-color: #ff4; }
table.sched tr.exm { background-color: #bbf; }
table.sched tr.exm td.ref { color: #bbf }
table.sched tr.exm td.ref a.dis { color: #bbf }
table.sched tr.due { background-color: #eee; }
table.sched tr.due td.ref { color: #eee }
table.sched tr.due td.ref a.dis { color: #eee }
table.sched tr.odd td { border-color: #ddd }
table.sched td.ref { color: #888 }
table.sched tr.dis { color: #888 }
table.sched tr.dis td.ref { color: #fff }
table.sched tr.dis td.ref a.dis { color: #fff }

address { margin: 3ex 0em; padding: 1ex 0em; border-top: 1px solid black }

#homeworks h3, #assignments h3 {     
  font-size: 100%;
  margin-top: 3ex;
  padding-top: 1ex;
  border-top: 1px solid black;
  }

#readings h4 { font-size: 100%; }
#readings p.reading { padding-left: 1em; text-indent: -1em }