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

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

/* for calendar(s) */
.caltable {
  margin-top: 50px;
  font-family: "Verdana","Geneva","Helvetica","Arial",sans-serif;
  font-size: 12px;
}

.week {
  color: #050778;
}