/* ================= PAGE LAYOUT =================== */

html,body {
  padding: 0;
  margin: 0;
  border: 0;
}

body {
  background-color: #7986ac;
}

#main {
  max-width: 1000px;
  min-height: 700px;
  background-color: #d0d0d0;
  margin: 1em auto 75px;
  padding: 0px;
  border: 4px solid #061339;
}

#main>header {
  height: 130px;
  position: relative;
  background-color: #ffffff;
  background-position: center top;
  background-repeat: no-repeat;
  border-bottom: 4px solid #061339;
}

@media only screen and (min-width: 600px) {
  #main>header {
    max-width: 1000px;
    min-height: 200px;
  }
}

#main>header>nav {
  position: absolute;
  bottom: 2px;
  left: 2px;
  padding: 0;
  margin: 0;
  width: 100%;
}

#main>header>nav>div {
  float: left;
  font-family: "Verdana", sans-serif;
  border: 2px solid transparent;
}

#main>header>nav>div>a {
  float: left;
  min-width: 80px;
  text-decoration: none;
  color: white;
  background-color: #061339;
  padding: 2px 5px;
  text-align: center;
}

#main>header>nav>#navparent>a {
  float: left;
  min-width: 80px;
  text-decoration: none;
  color: white;
  background-color: #000000;
  padding: 2px 5px;
  text-align: center;
}

#main>header>nav>#navthis {
  float: left;
  min-width: 80px;
  color: #fff2aa;
  background-color: #000000;
  padding: 2px 5px;
  text-align: center;
}

#main>header>nav>div>a:hover {
  color: #fff2aa;
}

#main>header>nav>#navparent>a:hover {
  color: #fff2aa;
}

footer {
  position: fixed;
  bottom: 0;
  width: 100%;
  z-index: -1;
}

footer>div {
  max-width: 1000px;
  margin: 8px auto 4px;
  font-style: italic;
  font-family: "Arial", sans-serif;
  font-size: 16px;
  text-align: right;
}

footer a {
  text-decoration: none;
}

article {
  margin: 4px auto;
  max-width: 800px;
}

/* ==================== CONTENTS STYLING ===================== */

article header h1 {
  text-align: left;
  color: #061339;
  background-color: inherit;
  font-family: "Lucida Console", Monaco, monospace;
  font-size: 30px;
  font-weight: bold;
}

article a {
  text-decoration: none;
  font-weight: bold;
}

a:link, a:visited {
  color: blue;
}

a:active, a:hover {
  color: green;
}

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) ") ";
}

.disclaimer {
  color: #505050;
  font-style: italic;
  text-align: justify;
  font-size: 10px;
  margin: 2px;
}

.solhidden p.warning {
  color: black;
  background: transparent;
  margin: 0;
}

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

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

h1 {
  margin: 20px 0 5px;
  max-width: 800px;
  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;
}

pre.wrap {
  white-space: pre-wrap;
  word-wrap: break-word;
}

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

article li {
  margin: 10px 0px;
}

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

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

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

.solheading {
  display: block;
  color: #a00;
  font-weight: bold;
  text-align: center;
}
  
.codelinks li {
  font-family: monospace;
  font-size: 110%;
  line-height: 80%;
}

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

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

.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;
  border-collapse: separate;
}

.linedcode tbody tr td:first-child {
  border-right: 1px solid gray;
}

.sol {
  margin: 5px 10px;;
  border: 3px solid #a00;
  background-color: #fcc;
  padding: 3px;
}

.solhidden {
  display: none;
  margin: 5px 10px;;
  border: 3px solid #a00;
  background-color: #fcc;
  padding: 3px;
}

.io .output {
  color: #00d;
}

/* ========================== CALENDAR ===================== */

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