body {
  font-family: Verdana, "Bitstream Vera Sans", sans-serif;
  font-size: 13px;
  margin: 0;
  padding: 0;
  min-width: 700px;
  line-height: 1.4em;
}
p {
  margin: 1.5em 0;
  padding: 0;
}
h1, h2, h3, h4 {
  padding: 0;
  margin: 0 0 1em 0;
}
h1 {
  margin-top: 1em;
  font-size: 1.4em;
  color: #a00000;
}
h2 {
  margin-top: 2em;
  font-size: 1.2em;
  color: #4c4c4c;
  border-bottom: 1px solid #888888;
}
h3 {
  margin-top: 2em;
  font-size: 1em;
  color: #4c4c4c;
  border: none;
  text-transform: uppercase;
}
ul, ol {
  padding: 0;
  margin: 0 0 0 2em;
}
ul { list-style-type: square; }
ul ul { list-style-type: square; }
ul ul ul { list-style-type: square; }
a:link { color: #0082f9; }
a:visited { color: #0082f9; }
a:hover { color: #222222; }
blockquote {
  margin-left: 3px;
  padding-left: 20px;
  border-left: 1px solid #222222;
  font-style: italic;
  color: #a00000;
}
pre {
  font: 0.9em Courier, Monaco, 'Courier New', 'Terminal', monospace;
  border: 1px solid #cccccc;
  overflow: auto;
  overflow-y: hidden;
  margin: 15px 0;
  display: block;
  padding: 10px 0 10px 15px;
}
pre code { font-size: 1em; }
code { font-size: 0.9em; }
#header {
  height: 115px;
  width: 100%;
  background: #a00000;
}
#header h1 {
  font: 1.6em Verdana;
  height: 50px;
  vertical-align: middle;
  margin: 0 auto;
  padding: 25px 15px 0 55px;
  color: #ffffff;
  background: #a00000 url(../images/iitlogo.gif) no-repeat 10px 20px;
}
#header h1 strong { font: bold 1.2em Georgia, "Times New Roman", Times, serif; }
#header h1 .light { color: #b3b3b3; }
#navbar {
  list-style: none;
  background: #4c4c4c;
  margin: 0;
  padding: 0;
  height: 40px;
  float: left;
  width: 100%;
}
#navbar li {
  display: inline;
  margin: 0;
  padding: 0;
}
#navbar a {
  display: block;
  color: white;
  text-decoration: none;
  float: left;
  padding: 10px 15px 10px 15px;
  height: 20px;
  border-right: 1px solid #333333;
  background: transparent;
  height: 20px;
}
#navbar a:hover {
  background: #666666;
  border-right: 1px solid #222222;
}
#index #nav_home a { background: #777777; }
#lectures #nav_lectures a { background: #777777; }
#assignments #nav_assignments a { background: #777777; }
#administrivia #nav_administrivia a { background: #777777; }
#resources #nav_resources a { background: #777777; }
#content {
  clear: both;
  width: 600px;
  min-height: 375px;
  margin: 10px 0 10px 25px;
}
#content li { margin: 0.6em 0; }
#footer {
  clear: both;
  width: 100%;
  margin-top: 40px;
  border-top: 1px solid #aaaaaa;
}
#footer p {
  font-style: italic;
  padding-left: 15px;
  color: #888888;
  font-size: 0.8em;
}
table { border-collapse: collapse; }
th {
  background: #cccccc;
  font-weight: bold;
}
th, td {
  padding: 3px;
  border: 1px solid #666666;
}
.rag th {
  padding: 5px;
  border: none;
}
.rag td {
  padding: 5px;
  border: none;
}