/*
 * uchicago web colors from
 * http://identity.uchicago.edu/guidelines/palette.shtml
 */

body {
  font-family: palatino, serif;
  background-color: white;
  padding: 10px;
}

div.banner {
  background-color: #D6D6CE; /* uchicago light gray */
  color: darkgreen;
  border: thin solid black;
  padding-left: 5px;
}

div.navbar {
  background-color: darkgreen;
  border: thin solid black;
  margin-top: 10px;
  padding: 5px;
  color: #D6D6CE;
}

div.banner, div.navbar {
  margin-right: 0.5in;
}

div.main {
  margin-right: 1in;
}

a {
  color: darkgreen;
  text-decoration: none;
}

a.navbar-link {
  color: #D6D6CE;
  text-decoration: none;
}

a:hover, a.navbar-link:hover {
  text-decoration: underline;
}

.contract {
  font-family: monospace;
  background-color: lightgray;
  padding: 3px;
}

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;  
}

div.eq {
  padding: 10px;
  margin-left: 2em;
}