/*  Stylesheet for CS105, U of C, Fall 2007.
 *  (c) Adam Shaw 2007 
 */

body { 
  background-color: cornsilk;
  margin: 1em;
  padding: 0;
  font-size: 0.8em;
  font-family: Verdana, Arial, Helvetica, sans-serif;
}

h1, h2, h3, h4, h5, h6, div#main-title, div#navbar {
  background-color: dodgerblue;
  color: navy;
}

div#main-title, div#navbar, div#main-content {
  position: relative;
  width: auto;
  margin: 0px 20px 12px 20px;
  border: 1px solid black;
}

h1, h2, h3, h4, h5, h6 {
  font-weight: normal;
  padding: 3px;
}

div#main-title {
  font-size: 3em;
  padding: 5px;
}

div#main-title div#date {
  font-size: 10pt;
  font-style: italic;
  padding-left: 3px;
}

div#navbar {
  text-align: center;
  padding-top: 9px;
  padding-bottom: 9px;
}

div#main-content {
  background-color: white;
  padding: 5px;
}

div#navbar a {
  color: cornsilk;
  border: 1px solid black;
  padding: 4px;
  margin-right: 2px;
  margin-left: 2px;
}

a, a:visited {
  color: sienna;
}

a:hover, div#navbar a:hover {
  color: black;
}

div#main-content p {
  position: relative;
  margin-left: 2px;
}

div.contract, div.call, code {
  font-family: monospace;
  font-size: 10pt;
}

div.contract, div.call {
  padding-left: 20px;
  padding-bottom: 10px;
}

table.figure {
  margin: 20px;
}

span.math {
  font-family: serif;
  font-size: 12pt;
  font-style: italic;
  font-weight: normal;
}

span.math span.exp {
  font-style: normal;
  font-size: 8pt;
  position: relative;
  bottom: 5px;
  left: 1px;  
}