html{
  margin: 0;
  padding: 0;
  height: 100%;
}

body{
  font-family: arial, sans-serif, sans;
  margin: 0;
  padding: 0;
  height: 100%;
  background-color: #ffffff;
}

#container{
  min-height: 100%;
  position: relative;
}

#main-body{
  padding-top: 87px;
  padding-bottom: 97px;
  color: #000000;
}

h2, .section{
  border-top: 1px solid #808080;
  padding-top: 0.2em;
}

a{
  text-decoration: none;
}

a:hover{
  text-decoration: underline;
}

.s1{
  /* background-color: #80808020; */
  display: block;
  /* border-left: 1px solid #808080; */
  padding: 0 0.5em 0 2em;
}

.s2{
  display: block;
  padding: 0 2.0em;
}

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

.sub1{
  padding: 0.5em 0;
}

.sub2{
  padding: 0.5em 0 0 0;
}

.subtle{
  font-size: small;
}

:not(pre) > code{
  font-weight: bold;
  color: #606060;
  border: 1px dashed #808080;
  padding: 0.0px 2.0px;
  margin: 2.0px 0.0px;
}

code{
  font-family: "courier new", monospace, mono;
  font-size: 0.9em;
  white-space: pre;
}

pre{
  overflow: auto;
  /* background-color: #f0f0f0; */
  border: 1px dashed #808080;
  margin: 0 2px;
}

pre code{
  padding: 1.0em !important;
}

pre.top{
  border-bottom: 0;
  margin-bottom: 0;
  padding-bottom: 0.5em;
}

pre.bottom{
  margin-top: 0;
  padding-top: 0.5em;
}

div.hrow{
  position: absolute;
  top: 0;
  width: 100%;
  height: 85px;
  background-color: #333333;
  border-bottom: 2px solid #808080;
}

div.hrow:after{
  content: "";
  display: table;
  clear: both;
}

div.bcolumn{
  padding-left: 20px;
  padding-right: 20px;
  margin: auto;
  max-width: 940px;
}

div.menu-item{
  height: 80px;
  min-width: 10px;
  display: table-cell;
  vertical-align: bottom;
  text-align: center;
  padding-right: 17px;
  padding-left: 17px;
}

div.frow{
  position: absolute;
  bottom: 0;
  width: 100%;
  height: 95px;
  border-top: 2px solid #808080;
  background-color: #333333;
}

div.frow:after{
  content: "";
  display: table;
  clear: both;
}

div.footer-item{
  height: 90px;
  width: 100%;
  display: table-cell;
  vertical-align: top;
  text-align: center;
}

.cmd{
  font-weight: bold;
  color: #222222;
}

.comment{
  font-weight: bold;
  color: #666666;
}

.superscript{
  vertical-align: super;
  font-size: x-small;
}

img[src*="./header"], img.header{
  width: 100%;
}

img[src*="./fig"], img.figure{
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-width: 90%;
  padding: 10px;
}

/* mainly for fallback
img{
  max-width: 100%;
}
*/

.menu-text{
  color: #aaaaaa;
  text-decoration: none;
  font-weight: bold;
}

.menu-text-current{
  color: #ffffff;
  text-decoration: none;
  font-weight: bold;
}

a.menu-text:hover{
  color: #ffffff;
  text-decoration: underline;
}

a.menu-text-current:hover{
  color: #ffffff;
  text-decoration: underline;
}

.index{
  color: #000000;
  text-decoration: none;
}

.index:hover{
  text-decoration: underline;
}

a.plain{
  color: #000000;
  text-decoration: none;
}

a.plain:hover{
  text-decoration: none;
}

.logo{
  height: 80%;
}

.logo:hover{
  opacity: 1;
}

div.post-stats{
  border-top: 1px solid #808080;
  padding-top: 0.5em;
  padding-bottom: 1em;
  margin-top: 20px;
}

a.post-stats{
  color: #808080;
  text-decoration: none;
}

a.post-stats:hover{
  text-decoration: underline;
}

.post-stats{
  color: #808080;
  font-size: small;
}

div.irow{
  padding-top: 20px;
  padding-bottom: 20px;
  border: solid 1px transparent;
  transition: 0.25s ease;
}

div.irow:hover{
  background-color: #ccddee;
  border-color: #aaaaaa;
}

div.irow:after{
  content: "";
  display: table;
  clear: both;
}

.left-thumb{
  padding-left: 20px;
  padding-right: 20px;
  margin-right: 20px;
  float: left;
  width: 30%;
  min-height: 4em;
  border-right: 2px solid #808080;
  text-align: center;
}

.num{
  margin-top: 0px;
}