#header {
    color: silver; font-size: 90%;
}
#header ul {
    overflow: hidden; list-style-type: none;
    padding-left: 4pt; padding-bottom: 3pt; padding-top: 2pt;
    font-family: 'Helvetica Light', Helvetica, Arial, sans-serif;
    font-weight: lighter;
    border-bottom: solid rgb(220,220,220) 1px; 
}
#header ul a { color: silver; text-decoration: none; }
#header ul a:hover { text-decoration: underline; }
#header ul li { display: inline; white-space: nowrap; }
#header ul li::before { content: "\203a\a0"; font-size: 120%; }
#header ul li:first-child::before { content: ""; }

#content {
    margin-left: 5%; margin-right: 5%;
}

body { 
    font-family: verdana, arial, sans-serif;
    margin: 0pt;
    font-size: 10pt;
}

.coverpic {
  float: left;
  margin: 0em 1em 1.5em 0em;
  }
.coverpic img {
  margin: 0em 0em 0.3em 0em;
  border: 0pt;
  }
.link {
  font-size: small; 
  }
h1 {
  font-family: trebuchet ms, verdana, helvetica, sans-serif;
  font-size: 1.8em; font-weight: bold; letter-spacing: 2pt;
  text-transform: uppercase;
  margin: 1em 0em 0.2em 0em;
  color: #003366;
  }
h1 a { color: rgb(193,142,50); text-decoration: none; }
h1 a:hover { text-decoration: underline; }
h1 img { height: 0.8em; margin-right: 0.2em; }
h1 a img { border: 0px; }
h2 {
  margin: 1.5em 0em 0.2em 0pt;
  font-family: trebuchet ms, verdana, helvetica, sans-serif;
  font-size: 1.2em; font-weight: bold; letter-spacing: 1pt;
  text-transform: uppercase;
  color: #006699; 
  }
h3 {
  font-style: italic; font-weight: normal; font-size: 100%;
  margin: 1em 0pt 0pt 0pt;
  }
li h3 { margin: 0.2em 0pt 0pt 0pt; font-style: normal; font-weight: bold; 
  display: inline; padding: 0em 0.5em 0em 0em; 
}
dt { font-style: normal; font-weight: bold; margin: 0em 0pt 0pt 0pt; padding: 0pt 0.5em 0pt 0pt; }
dt a { font-weight: normal; }
dd { padding: 0em; margin: 0em;}
ul.syllabus li, dl.syllabus dt { margin: .5em 0em 0.2em 0em; }
ul.syllabus { list-style-type: none; }
dl { margin-left: 2em; }

table th { text-align: left; }

.maindetails {
  font-size: 80%; margin-bottom: 2em; }
.maindetails h2 {
  font-size: 100%; font-weight: bold;
  display: inline;
  margin-right: 0.5em; 
  }
.maindetails div {
  margin-bottom: 0.5em; 
  }
.descriptionblock {
  clear: left;
  border: solid black;
  border-width: 0.1pt 0pt 0pt 0pt;
  margin: 1em 0pt 2em 0pt;
  }
ol, ul {
  margin-top: 0pt;
  }
p {
  margin: 0pt 0pt 0.3em 0pt;
  }

blockquote { border-left: solid black 2pt; margin-left: 0.5em; padding-left: 1em; font-style: italic; }
blockquote .label { font-style: normal; }

.nav {
  margin-left: -5%;
  font-size: 80%;
  font-family: sans-serif;
  border-bottom: solid silver 1px;
  padding-bottom: 2pt;
  margin-bottom: 1em;
  }
.nav a { text-decoration: none; }
.nav a:hover { text-decoration: underline; }

pre, .commentbox {
  background-color: rgb(245,245,245);
  padding-left: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  font-size: small;
  }
.detailsbox { display: none; }
.commentbox pre { 
   padding-top: 0.1em; padding-bottom: 0.1em; margin-top: 0.1em; margin-bottom: 0.1em; padding-left: 0pt; 
   background-color: rgb(230,230,230); }
pre .comment { color: grey; }
.commentbox p { margin-top: 1em; }

.alert { width: 80%; background-color: rgb(255,250,200); 
  margin-left: 10%; margin-top: 1em; margin-bottom: 1em; 
  padding: 1em; border: dashed black 1.5px;  }
.alert td { padding-left: 1em; }
.alert td.pling { font-size: 3em; padding-left: 0.3em; padding-right: 0.3em;} 
.pling { background-color: white; color: red; font-weight: bold;
  padding-left: 0.3em; padding-right: 0.3em; }
hr { background-color: rgb(180,170,130); color: rgb(180,170,130); 
  border-style: none; height: 1px; }