body {
  padding-right: 1em;
  padding-left: 1em;
  color: black;
  font-family: Verdana, sans-serif;
  font-size: 80%;
  line-height: 140%;
  color: #222222; 
  background-color: #ffffff;
}

#TOC { 
    border: 1px solid #cccccc;
    background-color: #e9f0ff;
}

@media screen and (min-width: 1024px) {
  #TOC { 
    position: fixed;
    overflow: auto;
    top: 0.5em;
    left: 0.5em;
    width: 20em;
    bottom: 0.5em;
    padding-right: 0.5em;
  }    
  body {
    margin-left: 21.5em;
  }
  img.navi {
    /*float: right;*/
  } 
}
#TOC ul {
  list-style-type: none;
  margin-left: 0.5em; 
  padding-left: 0.5em;
}

img.navi {
  padding-left:20px;
  padding-top:10px;
}

sup { 
  line-height:0em;
}

pre {
  background-color: #f5f9fe;
  color: #111111;
  padding: 0.5em;
  width:100%;
  overflow: auto;
}

pre.file {
  border: 1px dashed #bbbbbb;
  background-color: #e9f0ff;
}

code {
  white-space: pre;
  font-family: monospace;
}

h1 a, h2 a, h3 a, h4 a, h5 a { 
  text-decoration: none;
  color: #444444; 
}

ul ul a {
  font-weight: normal;
  font-size: 90%;
}

div ul li {
  margin-bottom: 0ex;
}

ul li {
  margin-bottom: 1ex;
}

#TOC ul li ul li ul {
  /*display:none;*/
  font-size: 90%;
}


a {color: #555555; font-weight:bold;}
a:link {text-decoration:none;}
a:visited {text-decoration:none;}
a:hover {text-decoration:underline;}

a > img {
  border: 0;
}

h1, h2, h3, h4, h5 { 
  font-family: verdana;
  font-weight: bold;
  /*color: #4682b4;*/
  color: #333333;
  margin-top: 1.5em; }

h1 {
  font-size: 120%;
  border-bottom: 1px solid #cccccc;
}

h2 {
  font-size: 110%;
  border-bottom: 1px dashed #cccccc;
}

h3 {
  font-size: 100%;
  border-bottom: 1px dotted #cccccc;
}

h4 {
  font-size: 90%;
  font-style: italic;
  border-bottom: none;
}

h5 {
  font-size: 80%;
  font-style: italic;
  border-bottom: none;
}

h1.title {
  color: #4682b4;
  font-size: 160%;
  font-weight: bold;
  margin: 0.2em;
  /*padding-bottom: 0.2em;*/
  text-align: left;
  border: none;
  float: left;
}

p.caption {
  font-style: italic;
}

i {
  font-weight: lighter;
  color: #7777aa;
}
table { 
  width: 100%;
  table-layout: fixed;
}
td {
  padding: 0.5ex;
  background-color: #eeeeee; 
}


div.figure img {
  width: 100%;
}

div#arrows {
  height: 48px;
}

img.ar {
   float: right;
}

img.al {
  float: left;
}

div.note {
  border: thin solid #ddbbbb;
  background-color: #ffdddd;
  color: #111111;
  padding: 0.3em;
}

.hidden {
  display: none;
}

.visible {
  display: block;
}

.fixed {
  position: fixed;
  max-height: 20em;
  bottom: 0em;
  right: 0em;
  left: 21em;
  background-color: #ffffa5;
  overflow: auto;
  border: 1px solid #111111;
}