/*  Supplementary CSS file to tweak some of the Bootstrap stuff
    and other enhancements
    Dr. Greg M. Bernstein
*/

#navbarMain {
  margin-left: 150px;
}

body #mainContent {
  padding-top: 50px;
}

a.navbar-brand img {
  position: absolute;
  top: 0px;
  left: 0px;
  background-color: white;
  margin-right: 10px;
  padding: 3px;
  border-bottom-color: #D4D4D4;
  border-bottom-left-radius: 4px;
  border-bottom-right-radius: 4px;
  border-bottom-style: solid;
  border-bottom-width: 1px;
  border-right-color: #D4D4D4;
  border-right-style: solid;
  border-right-width: 1px;
  box-shadow: 0 1px 4px rgba(0, 0, 0, 0.067);
}

@media (min-width: 768px) {
  #leftSidebar {
    position: fixed;
    top: 100px;
    max-height: 80vh;
    background-color: white;
    z-index: 500;
  }
}



#PageToC ul {
  font-size: smaller;
  list-style-type: none;
  padding-left: 1em;
  max-height: 60vh;
  overflow-y: auto;
}


#RelatedItems nav {
  max-height: 70vh;
  overflow-y: auto;
}

/* This is used to jump to the right vertical position when going to locations
   within a page.  This is needed due to the fixed header bar.
*/
.jumptarget:before {
  content: "";
  display: block;
  height: 50px;
  /* fixed header height*/
  margin: -50px 0 0;
  /* negative fixed header height */
}
article section:before {
  content: "";
  display: block;
  height: 50px;
  /* fixed header height*/
  margin: -50px 0 0;
  /* negative fixed header height */
}
article p,
article li,
article dt,
article dd {
  font-family: georgia, serif;
  font-size: 18px;
  line-height: 30px;
  font-kerning: auto;
  text-rendering: optimizelegibility;
}
article figcaption {
  font-size: 18px;
  text-align: center;
}
#refs > div:before {
  content: "";
  display: block;
  height: 40px;
  /* fixed header height*/
  margin: -40px 0 0;
  /* negative fixed header height */
}
span.citation {
  color: red;
}
span.citation::before {
  content: "[";
  color: black;
}
span.citation::after {
  content: "]";
  color: black;
}
span.citation:hover {
  cursor: pointer;
}
section h2 {
  border-bottom-color: #EEEEEE;
  border-bottom-style: solid;
  border-bottom-width: 1px;
}
.navbar .nav > li > a {
  font-weight: bold;
  font-size: 16px;
}
.footer {
  justify-content: center;
  background-color: #F5F5F5;
  border-top-color: #E5E5E5;
  border-top-style: solid;
  border-top-width: 1px;
  margin-top: 70px;
  padding-bottom: 15px;
  padding-left: 0;
  padding-right: 0;
  padding-top: 15px;
  text-align: center;
}
p.patent {
  margin-left: 8em;
}
.patent .PatNum {
  float: left;
  font-weight: bold;
  margin-left: -8em;
  width: 8em;
}
.patent .Title {
  font-style: italic;
}
.code-caption {
  margin-top: 0;
  margin-bottom: 25px;
  padding-top: 0;
}
.graphDrawing {
  border: solid thin #808080;
  border-radius: 5px;
  width: 100%;
  margin: 0;
  margin-bottom: 15px;
}
.graphDrawing img {
  max-width: 100%;
}
figure img {
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-width: 100%;
}
/* Syntax highlighting from pandoc */
div.sourceCode {
  overflow-x: auto;
}
table.sourceCode,
tr.sourceCode,
td.lineNumbers,
td.sourceCode {
  margin: 0;
  padding: 0;
  vertical-align: baseline;
  border: none;
}
table.sourceCode {
  width: 100%;
  line-height: 100%;
}
td.lineNumbers {
  text-align: right;
  padding-right: 4px;
  padding-left: 4px;
  color: #aaaaaa;
  border-right: 1px solid #aaaaaa;
}
td.sourceCode {
  padding-left: 5px;
}
code > span.kw {
  color: #007020;
  font-weight: bold;
}
/* Keyword */
code > span.dt {
  color: #902000;
}
/* DataType */
code > span.dv {
  color: #40a070;
}
/* DecVal */
code > span.bn {
  color: #40a070;
}
/* BaseN */
code > span.fl {
  color: #40a070;
}
/* Float */
code > span.ch {
  color: #4070a0;
}
/* Char */
code > span.st {
  color: #4070a0;
}
/* String */
code > span.co {
  color: #60a0b0;
  font-style: italic;
}
/* Comment */
code > span.ot {
  color: #007020;
}
/* Other */
code > span.al {
  color: #ff0000;
  font-weight: bold;
}
/* Alert */
code > span.fu {
  color: #06287e;
}
/* Function */
code > span.er {
  color: #ff0000;
  font-weight: bold;
}
/* Error */
code > span.wa {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}
/* Warning */
code > span.cn {
  color: #880000;
}
/* Constant */
code > span.sc {
  color: #4070a0;
}
/* SpecialChar */
code > span.vs {
  color: #4070a0;
}
/* VerbatimString */
code > span.ss {
  color: #bb6688;
}
/* SpecialString */
/* Import */
code > span.va {
  color: #19177c;
}
/* Variable */
code > span.cf {
  color: #007020;
  font-weight: bold;
}
/* ControlFlow */
code > span.op {
  color: #666666;
}
/* Operator */
/* BuiltIn */
/* Extension */
code > span.pp {
  color: #bc7a00;
}
/* Preprocessor */
code > span.at {
  color: #7d9029;
}
/* Attribute */
code > span.do {
  color: #ba2121;
  font-style: italic;
}
/* Documentation */
code > span.an {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}
/* Annotation */
code > span.cv {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}
/* CommentVar */
code > span.in {
  color: #60a0b0;
  font-weight: bold;
  font-style: italic;
}
/* Information */