* {
  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;
}

#intranetwarning {
  margin: 0px 50px 10px 50px;
  border: 4px solid #e00000;
  padding: 3px;
  font-size: 14px;
  text-align: center;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
}

#warningbox {
  margin: 0px 0px 0px 200px;
  padding: 0;
  border: 0;
  text-align: center;
}

#warningbox>p {
  border:2px solid black;
  display: inline-block;
  max-width: 600px;
  background-color: #c55;
  font-weight: bold;
  padding: 2px;
}

#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: red;
}

.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 ul ul:before {
  display:none;
}

#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;
}

.panbody table {
  margin-left: auto;
  margin-right: auto;
  border-collapse: collapse;
}

.panbody tbody tr:hover {
  background-color: #eee;
}

.panbody td,.panbody th {
  padding: 3px 20px;
}

.panbody thead tr th {
  border-bottom: 1px solid black;
}

/* 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;
}

/* For problems */

.probtable {
  /*
  margin-left: auto;
  margin-right: auto;
  */
  width: 100%;
  border-collapse: collapse;
}

.probtable tbody tr:hover {
  background-color: #eee;
}

.probtable td,.panbody th {
  padding: 3px 20px;
}

.probtable thead tr th {
  border-bottom: 1px solid black;
  text-align: center;
}

.probtable tbody tr td {
  text-align: center;
  white-space: nowrap;
}

.probtable tbody tr td.prttitle {
  text-align: left;
  width:100%;
}

table.grades td.total {
  font-weight: bolder;
}
table.grades td,table.grades th {
  text-align: center;
}