* {
  margin: 0;
}

p {
  margin: 15px 0 5px 0;
  text-align: justify;
}

li {
  text-align: justify;
}

ol.keepcount  li {
  counter-increment: item;
  list-style-type: none;
}

ol.keepcount li:before {
  content: counter(item) ") ";
}

html,body { height: 100%; }

body {
  padding: 0pt;
  background-color: #d0d0d0;
  font-family: "Georgia",serif;
}

#footer p {
  max-width:100%;
  text-align: center;
}

#titlebox {
  border-bottom: 4px solid #050778;
  min-height: 80px;
}

#maintitle {
  padding: 10px 5px 10px 5px;
  margin:  0 200px 0;
  text-align: center;
  font-family: "Lucida Sans Unicode","Lucida Grande","Lucida Sans","Lucida",sans-serif;
  font-weight: bold;
  font-size: 25px;
}

#titleup {
  float: left;
  width: 200px;
  text-align: center;
  padding-top: 10px;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-size: 14px;
}

#navbox {
  float: left;
  width: 200px;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-weight: bold;
  font-size: 15px;
}

#navlist {
  list-style-type: none;
  margin: 0;
  padding: 0;
}

.navitem {
  margin: 0px 15px 0px 15px;
}

#navparent a {
  width: 158px;
  text-align: center;
  display: block;
  border: 4px solid #050778;
  background-color: #050778;
  padding: 2px;
  margin: 0;
  text-decoration: none;
}

#navparent a:link,#navparent :visited {
  color: #d0d0d0;
}

#navparent a:active,#navparent a:hover {
  color: #ecca0e;
}

#navparent {
  margin: 0px 15px 0px 15px;
}

.navitem a {
  width: 158px;
  text-align: center;
  display: block;
  border: 4px solid #050778;
  padding: 2px;
  margin: 0;
  text-decoration: none;
}

.navitem a:link,.navitem :visited {
  color: #050778;
}

.navitem a:active,.navitem a:hover {
  background-color: #ecca0e;
}

#navthis {
  width: 158px;
  text-align: center;
  display: block;
  border: 4px solid #050778;
  padding: 2px;
  margin: 0px 15px 0px 15px;
  background-color: #050778;
  color: #d0d0d0;
}

.navspace {
  width: 4px;
  height: 10px;
  background-color: #050778;
  margin: auto;
  padding: 0;
  border: 0;
}

#navfill {
  height: 0;
}

#notfoot {
  min-height: 100%;
  height: auto !important;
  height: 100%;
  margin: 0 auto -115px;
}

#push {height:115px;}

#footer {
  border-top: 4px solid #050778;
  margin: 0;
  padding: 5px 50px 5px 50px;
  font-size: 12px;
  text-align: center;
  height: 100px;
}

.disclaimer {
  color: #505050;
  font-style: italic;
  text-align: left;
}

.warning {
  font-weight: bolder;
  color: white;
  background: #a00;
  margin: 10px 20px;
  text-align: center;
}

.warning a:link, .warning a:visited { color: #ff5; }
.warning a:hover, .warning a:active { color: #bfb; }

#mainbox {
  margin: 0px 0px 0px 200px;
  padding: 0;
  border: 0;
  max-width:600px;
}

.title {
  display: block;
  font-weight: bold;
}

h1 {
  margin: 20px 0 5px;
  max-width: 600px;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-size: 15px;
  background-color: #ffffff;
  color: #050778;
}

h1 a:link, h1 a:visited {
  color: #050778;
}

h1 a:hover, h1 a:active {
  color: #803000;
}

h2 a:link, h2 a:visited {
  color: black;
}

h2 {
  margin-top: 15px;
  margin-bottom: 0;
  display: block;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-size: 15px;
  font-weight: bold;
}

a:link,a:visited {
  text-decoration: none;
  color: #007000;
}

a:hover,a:active {
  color: #803000;
}

code {
  font-weight: bold;
  font-size: 110%
}

pre {
  display: block;
  font-weight: bold;
  margin-left: 0;
  max-width: 600px;
  background-color: #ffffa0;
}

pre.bq {
  margin: 5px 30px;
  padding: 3px;
  border: 1px solid black;
  background-color: #f0f0f0;
}

pre.plain {
  font-weight: bold;
  display: block;
  margin-left: 20px;
  max-width: 600px;
  background-color: #d0d0d0;
}

.comment {
  color: blue;
}

.output {
  color: #a00;
}

.mono {
  font-family: monospace;
  font-weight: bold;
  font-size: 110%;
}

blockquote {
  margin: 5px 30px;
  padding: 3px;
  border: 1px solid black;
  background-color: #f0f0f0;
}

#mainbox li {
  margin: 10px 0px;
}

.sectask div {
  margin: 10px 0px 0px;
}

.sectask p {
  text-align: center;
  font-size: 80%;
}

#TOC {
  display: block;
  margin-top: 10px;
  margin-left: 50px;
  margin-right: 50px;
  border: 1px solid #050778;
  color: #050778;
  background-color: #ffffff;
}

#TOC ul:before {
  display:block;
  color: black;
  font-weight: bold;
  text-align: center;
  content:"Contents";
}

#TOC a:link, #TOC a:visited {
  color: #050778;
}

#TOC a:hover, #TOC a:active {
  color: #803000
}

#TOC li {
  margin: 0;
  padding: 0;
}

#TOC ul ul {
  display:none;
}

/* for calendar(s) */

.calmonth {
  margin: 0px 0px 50px;
  width: 95%;
  border: 5px double black;
  border-collapse: collapse;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-size: 12px;
}

.calmonth td {
  border: 2px solid black;
  width: 14%;
  min-width: 70px;
  height: 70px;
  vertical-align: top;
}

.calmonth p {
  text-align: center;
  margin: 5px 0px 0px;
}

.calmonthhead td {
  font-size: 200%;
  text-align: center;
  height: 0px;
}

.calweekhead td {
  text-align: center;
  width: 14%;
  height: 0px;
}

.calothermonth {
  background-color: #808080;
}

.caltoday {
  background-color: #ffffff;
}

.calweek {
  color: #050778;
}

.calholiday {
  color: #c00;
}

.calacademic {
  color: #c00;
  font-weight: bold;
}

.calclass {
}

.caldeadline,.caldeadline a:link,.caldeadline a:visited {
  font-weight: bold;
  color: #b60;
}

.caldeadline a:hover,.caldeadline a:active {
  color: #222;
}

.calothermonth p,.calothermonth a:link,.calothermonth a:visited {
  color: #000;
  font-weight: normal;
}

.calothermonth a:hover,.calothermonth a:active {
  color: #fff;
  font-weight: normal;
}

.dq {
    font-family: monospace;
    font-size: 100%;
    font-weight: normal;
    background-color: #eee;
    border: 1px solid black;
    padding: 2px;
}

.linedcode {
  margin: 5px;
  padding: 3px;
  border: 2px solid black;
  background-color: #ffffc0;
}