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

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

div.banner, div.navbar, div.navbar a {
  background-color: skyblue;
  color: black;
}

div.banner {
  border: thin solid black;
  padding-left: 5px;
}

div.navbar {
  border: thin solid black;
  margin-top: 10px;
  padding: 5px;
}

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

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

a, a.navbar-link {
  color: blue;
  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;
}

li {
  padding-bottom: 10px;
}

p.alert {
  border : thick solid red;
  padding : 8px;
  margin-left: 0.5in;
}

td.char, td.bin {
  font-family : monospace;
}

div#for-whom {
  background-color: skyblue;
  width: auto;
  max-width: 300px;
  //text-align: right;
  padding: 5px;
  z-index: 2;  
  color: black;
  margin-bottom: 10px;
  border: 1px solid black;
}

div#lang-level {
  border: 1px solid black;
  margin-bottom: 5px;
  padding: 5px;
  background-color: cornsilk;
}

div#requires {
  font-family: monospace;
  border: 1px solid black;
  padding: 5px;
  background-color: cornsilk;
}