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

body {
  font-family: trebuchet ms, verdana, sans serif;
  background-color: white;
  padding: 10px;
}

h1, h2, h3 {
  color: blue;
}

div.banner, div.navbar, div.navbar {
  background-color: blue;
  color: ivory;
}

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

div.banner h1, div.banner h2, div.banner h3, div.banner h4 {
  color: ivory;
}

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

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

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

a, a.navbar-link {
  color: blue; 
  font-weight: normal;
  text-decoration: underline;
}

a:hover, a.navbar-link:hover {
  color: lightgray;
  background-color: blue;
  text-decoration: underline;
}

.contract {
  font-family: monospace;
  background-color: navy;
  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;
}

table.text td {
  padding : 6px;
}

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

div#for-whom {
  background-color: mintcream;
  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;
}

.nobr { 
  white-space:nowrap; 
}

tt {
  font-size : larger;
}