.banner-head {
  position: fixed;
  top: 0;
  right: 0;
  left: 0;
  z-index: 1030;
  display: block;
  padding: 15px 20px;
  font-weight: 700;
  color: #fff;
  background-color: #1b6ec1;
}
.bs-docs-navbar-masthead {
  top: 62px;
}
.navbar-masthead {
  min-height: 44px;
  margin-bottom: 18px;
}
.navbar-custom {
  background-color: #0275d8;
}
.navbar-custom .navbar-nav .nav-link {
  color: rgba(255,255,255,.5);
}
.navbar-custom .navbar-nav .active > .nav-link, .navbar-custom .navbar-nav .nav-link.active, .navbar-custom .navbar-nav .nav-link.open, .navbar-custom .navbar-nav .open>.nav-link {
  color: #fff;
}
.navbar-custom .navbar-nav > li > a:hover {
  color: #ffffff;
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.2);
  background-color: #0088cc;
}
.navbar-custom .navbar-nav > .active > a:hover {
  color: #ffffff;
  text-shadow: 0 -1px 0 rgba(0, 0, 0, 0.2);
  background-color: #0088cc;
}
.navbar-default .navbar-nav>.active>a, .navbar-default .navbar-nav>.active>a:hover, .navbar-default .navbar-nav>.active>a:focus {
  color: #ffffff;
  background-color: #178fea;
}
.navbar-inner {
  padding-top: 10px;
  min-height: 60px;
}
.alert-primary {
  background-color: #2c3e50;
  color: #fff;
  border-color: #c4c9ce;
}
.alert-primary hr {
  border-top-color: #b6bcc2;
}
.alert-primary .alert-link {
  color: #fff;
}
.funpar {
  font-size: 18px;
}
.funterm {
  font-style: italic;
  color: #c09853;
}
.funcomment {
}
.funcomment .popover {
  position: relative;
  display: block;
  width: 460px;
  margin: 20px;
}
.funcomm-head {
  font-size: 16px;
  font-weight: bold;
  background-color: #f7f7f7;
}
.funcomm-head a:link {color:#474bb8;}
.funcomm-head a:visited {color:gray;}  /* visited link */
.funcomm-head a:hover {color:blue;}  /* mouse over link */
.funcomm-content {
  font-size: 14px;
  background-color: #e0e0bb;
}
body {
  position: relative;
  padding-top: 114px;
  padding-bottom: 40px;
}
.policy dt {
  width: 100px;
  text-align: left;
}
.policy  dd {
  margin-left: 110px;
}
.container-fluid {
  padding-left: 0;
}
.sidebar-nav {
  padding: 9px 0;
}
.bs-docs-sidenav.affix {
  top: 60px;
}
.body-content {
  margin-top: 20px;
}
a[name], div[data-unique] {
  display: block;
  position: relative;
  top: -120px;
  visibility: hidden;
}
.exercise-hdr {
  visibility: hidden;
  line-height: 20%;
}
.section {
  margin-bottom: 25px;
}
.sec-header {
  padding: 5px;
  background-color: #e2f1e9;
  margin-top: 20px;
  margin-bottom: 20px;
}
.section > p, ul, ol {
  padding-left: 15px;
}
.section > pre {
  margin-left: 15px;
}

#schedule-table ul {
  margin-bottom: 1px;
}
.news {
  padding: 10px;
  padding-left: 2em;
  background-color: #fef4e9;
  border-radius: 4px;
  border: 2px solid maroon;
  margin-top: 10px;
  margin-bottom: 20px;
}
.news h3 {
  margin-bottom: 20px;
}
.news dt {
  color: #000055;
  font-weight: bold;
  margin-bottom: 0.3em;
}
.news dd {
  padding-bottom: 1em;
  margin-bottom: 0;
  margin-left: 1em;
  padding-left: 0;
  margin-right: 1em;
}
.news li {
  margin-bottom:10px;
}
.news li .date {
  color: #888;
  font-size: 12px;
}
.staff dd {
  margin-left: 2em;
}
.source-listing dd {
  margin-left: 3em;
}
.syllabus-week {
  vertical-align: middle !important;
  font-weight: bold;
}
.table-fit {
  width: 1px;
}
.table-bordered {
  border:1px solid #e6e6e6
}
.table-bordered > thead > tr >th, .table-bordered > tbody > tr >th, .table-bordered > tfoot > tr > th, .table-bordered > thead > tr > td, .table-bordered > tbody > tr > td, .table-bordered > tfoot > tr > td {
  border:1px solid #e6e6e6
}
.syllabus-topic {
  text-align:center;
  font-weight: bold;
  background-color: #cccccc
}
.hint-body {
  background-color: #dbfaf4;
}
@media (max-width: 767px) {
  #toc {
    position: relative;
    width: 100%;
    margin: 0px 0px 20px 0px;
  }
}
pre {
  color: #1a242f
}
.tocify {
  background-color: #f9f9f9;
  border: 1.5px solid #2c3e50;
}