/* Scss Document */
#topbar {
  /* Permalink - use to edit and share this gradient: http://colorzilla.com/gradient-editor/#02030c+0,02030c+55,1e5799+73,2989d8+82,1f5d9b+91,7db9e8+96,11386b+100 */
  background: #02030c;
  /* Old browsers */
  background: -moz-linear-gradient(-45deg, #02030c 0%, #02030c 55%, #1e5799 73%, #2989d8 82%, #1f5d9b 91%, #7db9e8 96%, #11386b 100%);
  /* FF3.6-15 */
  background: -webkit-linear-gradient(-45deg, #02030c 0%, #02030c 55%, #1e5799 73%, #2989d8 82%, #1f5d9b 91%, #7db9e8 96%, #11386b 100%);
  /* Chrome10-25,Safari5.1-6 */
  background: linear-gradient(135deg, #02030c 0%, #02030c 55%, #1e5799 73%, #2989d8 82%, #1f5d9b 91%, #7db9e8 96%, #11386b 100%);
  /* W3C, IE10+, FF16+, Chrome26+, Opera12+, Safari7+ */
  filter: progid:DXImageTransform.Microsoft.gradient( startColorstr='#02030c', endColorstr='#11386b',GradientType=1 );
  /* IE6-9 fallback on horizontal gradient */
  border-radius: 0px; }

.toc-heading {
  font-family: Cambria, "Hoefler Text", "Liberation Serif", Times, "Times New Roman", "serif";
  font-weight: bold;
  font-size: 120%;
  line-height: 1em;
  color: #0f2a4d;
  border-bottom: 1px dotted #555;
  margin-top: 10px;
  margin-bottom: 10px;
  padding-bottom: 5px; }

.sidebar {
  background-color: #EFEFEF;
  padding-top: 20px;
  padding-bottom: 20px; }

.sidebar .nav > li > a {
  padding: 4px 10px;
  font-size: 90%; }

.navbar-brand {
  min-width: 92px;
  background-image: url(../images/meted_logo.png);
  background-size: 92px auto;
  background-repeat: no-repeat;
  background-position: center center; }

#topbar .navbar-nav > li > a {
  font-size: 1.3em;
  color: #fefefe; }

#main-content {
  font-size: 1.1em; }

#main-content a {
  font-weight: bold;
  text-decoration: underline; }

#main-content > h3 {
  font-family: Cambria, "Hoefler Text", "Liberation Serif", Times, "Times New Roman", "serif";
  color: midnightblue; }

.bd-sidenav .bd-sidenav {
  margin-left: 20px; }

ol ol {
  list-style-type: lower-alpha; }

.pager li > a {
  background: #021364;
  border: 2px solid #021364;
  color: #fff;
  text-decoration: none !important; }

.pager li > a:hover {
  background-color: #fff;
  color: #021364; }

blockquote {
	font-size: 15.4px;
	margin-left: 30px;
}
ul li,
ol li {
	margin: 10px auto;
}

.case-list li {
	border-bottom: 1px solid #bbb;
	padding-bottom: 10px;
	margin-bottom: 10px;
}