@import 'reset.css';

body {
  color: #333;
  font-family: Helvetica, Arial, sans-serif;
  font-weight: 200;
  margin: 0 0 30px;
  width: 900px;
  padding: 0 30px;
}
a {
  color: #4671d5;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}
h1 {
  font-size: 30px;
  margin: 60px 0 30px;
}
h2 {
  font-size: 18px;
  margin: 30px 0 15px;
}
p {
  line-height: 1.4em;
  margin-top: 10px;
}
strong {
  font-weight: 700;
}
sub,
sup {
  font-size: 0.8em;
  position: relative;
}
sub {
  top: 0.5em;
}
sup {
  top: -0.5em;
}
#header {
  background: #fff;
  left: 0;
  padding-left: 30px;
  padding-bottom: 5px;
  position: fixed;
  top: 0;
  width: 930px;
  z-index: 69;
}
#nav {
  display: inline-block;
  float: left;
}
#nav li {
  border-top: 5px solid #fff;
  float: left;
}
#nav a {
  color: #333;
  display: block;
  min-width: 40px;
  text-align: center;
  padding: 8px 10px;
  transition: all 0.1s linear;
  -webkit-transition: all 0.1s linear;
  -moz-transition: all 0.1s linear;
  -o-transition: all 0.1s linear;
}
#nav a:hover {
  background: #eee;
  text-decoration: none;
}
#nav #home {
  border-top: 5px solid #333;
}
#nav #home a,
#nav #home.current a:hover {
  background: #333;
  color: #fff;
}
#nav #home a:hover {
  background: #666;
}
#nav #home.current,
#nav .current {
  border-top-color: #ffd300;
}
#nav .current a {
  background-color: #ddd;
  cursor: default;
}
#semesters {
  float: left;
  margin: 10px 0 0 20px;
}
#semesters li {
  display: inline-block;
  float: right;
}
#semesters a {
  background: #ddd;
  border: 1px solid #fff;
  border-radius: 0 4px 4px 0;
  display: inline-block;
  color: #666;
  font-size: 12px;
  margin-left: -3px;
  padding: 4px 6px 4px 8px;
}
#semesters a:hover {
  background: #ccc;
  color: #333;
  text-decoration: none;
}
#semesters .current a {
  background: #9f3ed5;
  border-radius: 4px;
  color: #fff;
  cursor: default;
  padding-left: 6px;
}
.back-nav {
  display: block;
  font-size: 12px;
  margin-top: -12px;
}
#footer {
  border-top: 1px solid #9F3ED5;
  color: #666;
  font-size: 11px;
  margin-top: 40px;
  padding-top: 10px;
}

/*
 * index.html
 */
#announcements {
  list-style-type: square;
}
#announcements li {
  margin-left: 20px;
  margin-top: 10px;
}
#concepts li {
  float: left;
  margin-top: 30px;
  margin-right: 20px;
  width: 280px;
}
#concepts h3 {
  font-size: 18px;
  font-weight: 300;
}
#concepts p {
  font-size: 12px;
}
#landingImg {
  margin-left: 150px;
}

/*
 * syllabus.html
 */
.sections, .officehours {
  width: 480px;
  font-size: 14px;
  margin-top: 10px;
  border: none;
}

.sections tr, .officehours tr {
  border-top: 1px solid #ddd;
}

.sections td, .officehours td {
  padding-top: 5px;
  padding-bottom: 5px;
}

.sections em, .officehours em {
  font-style: normal;
  color: #7109aa;
}

.instructors {
  margin-top: 15px;
}
.instructors img {
  border: 1px solid #ddd;
  float: left;
  margin-right: 10px;
  width: 80px;
}
.instructors li {
  float: left;
  margin-top: -40px;
  padding-top: 50px;
  width: 300px;
  height: 103px;
}
.instructors .name {
  font-size: 20px;
}
.instructors span {
  display: block;
}
.instructors .email {
  background: url('../images/email.gif');
  display: block;
  height: 0;
  margin-top: 5px;
  overflow: hidden;
  padding-top: 10px;
  width: 10px;
}
.instructors .ohrlabel,
.instructors .pos {
  font-size: 12px;
}
.instructors .pos {
  color: #666;
}
.instructors .name,
.instructors .ohr {
  margin-top: 5px;
}
.instructors .ohr,
.instructors .ohrlabel {
  color: #999;
}
.instructors .ohrlabel {
  font-style: italic;
  margin-top: 10px;
}
.instructors .ohr {
  font-size: 12px;
}
#grading li {
  margin-top: 5px;
}
ol.syllabuslist, ul.syllabuslist {
  margin-top: 10px;
  list-style-position: inside;
  padding-left: 1em;
}
ol.syllabuslist {
  list-style-type: decimal;
}
ul.syllabuslist {
  list-style-type: square;  
}
.syllabuslist > li {
  line-height: 1.4em;
}

/*
 * schedule.html
 */
#schedule {
  margin-top: 15px;
}
#schedule .week {
  border-top: 1px solid #eee;
  padding: 10px 0;
}
.week h3 {
  float: left;
  font-size: 22px;
  font-weight: 300;
}
.week .events {
  margin-left: 110px;
}
.events dt {
  color: #999;
  float: left;
  font-size: 12px;
}
.events dd {
  font-size: 14px;
  margin-left: 50px;
  margin-bottom: 5px;
}
.events .label {
  border: 1px solid #9f3ed5;
  color: #7109aa;
  font-size: 11px;
  margin-right: 3px;
  padding: 0 3px;
  position: relative;
  top: -1px;
}
.events .link {
  font-size: 12px;
  line-height: 12px;
}

/*
 * docs/*
 */
pre,
code {
  font-family: Inconsolata, Courier New, monospace;
}
.docs-index,
#interface {
  display: block;
  font-size: 14px;
  line-height: 16px;
  margin-left: 20px;
}
.docs-index {
  font-size: 16px;
  line-height: 20px;
}
.spec {
  border-top: none;
  padding-top: 10px;
  padding-left: 20px;
}
.spec dt {
  margin-top: -58px;
  padding-top: 58px;
}
.spec dd {
  border-bottom: 1px solid #ddd;
  font-size: 13px;
  line-height: 18px;
  margin: 10px 0;
  padding: 10px 0 20px 20px;
}
.spec dd:last-child {
  border: none;
}
.spec dt strong {
  background: #ffe773;
  border-radius: 2px;
  font-weight: 400;
  padding: 2px 4px;
}
blockquote {
  margin: 10px 0;
  padding: 0 10px;
}
table.docs-index {
  margin: 20px 0;
  width: 100%;
}
table.docs-index td {
  padding: 5px 10px;
  text-align: left;
  vertical-align: middle;
}
table.docs-index tr {
  border-top: 1px solid #ddd;
}
table.docs-index tr.header {
  border-top: none;
}
table.docs-index tr.header td {
  text-align: left;
  font-weight: bold;
  font-size: 113%;
  padding-top: 30px;
  padding-bottom: 10px;
}
table.cost {
  margin: 20px 0;
  width: 100%;
}
table.cost td {
  padding: 5px 10px;
  text-align: center;
  vertical-align: middle;
}
table.cost td:first-child {
  text-align: left;
}
table.cost thead tr {
  background: #ffe773;
  border: 1px solid #aaa;
  border-width: 1px 0;
}
table.cost thead td {
  font-weight: 700;
  text-align: center;
}
table.cost tr {
  border-bottom: 1px solid #ddd;
}
table.cost#resources td {
  text-align: center;
}