body {
  margin: 1em;
  padding: 0em;
  color: #000000;
  background-color: #e7e7e7;
  font-family: "DejaVu Sans", Arial, sans;
  font-size: 85%;
}

a {
  text-decoration: none;
  color: #325C74;
}

a:hover {
  text-decoration: underline;
}

#wrapper {
  margin: auto;
  padding: 0em;
  width: 50em;
  background-color: #ffffff;
  border-radius: 0.5em;
  -moz-border-radius: 0.5em;
  -webkit-border-radius: 0.5em;
  -moz-box-shadow: 0em 0em 1em #aaa;
  -webkit-box-shadow: 0em 0em 1em #aaa;
  box-shadow: 0em 0em 1em #aaa;
}

#heading {
  width: 48em;
  background-color: #2e2e2e;
  padding: 1px;
  color: #d0d0d0;
  border: 1em solid #2e2e2e;
  border-radius: 0.5em 0.5em 0em 0em;
  -moz-border-radius: 0.5em 0.5em 0em 0em;
  -webkit-border-top-left-radius: 0.5em;
  -webkit-border-top-right-radius: 0.5em;
  -webkit-border-bottom-left-radius: 0em;
  -webkit-border-bottom-right-radius: 0em;
}

#heading a, #heading h1 {
  margin: 0em;
  color: #ffffff;
}

#menu {
  border-top: 1px solid #5f5f5f;
  border-bottom: 1px solid #3d3d3d;
  background-color: #4e4e4e;
  padding-left: 0.7em;
}

#menu a {
  color: #ffffff;
  font-size: small;
  display: inline-block;
  padding: 0.3em;
}

#menu a:hover {
  background-color: #3d3d3d;
  text-decoration: none;
}

#content {
  float: left;
  margin: 0em;
  padding: 0em 1em 0em 1em;
  width: 35em;
}

#content h2.post {
  margin-bottom: 0em;
  padding-bottom: 0em;
  text-align: left;
}

#content .information {
  font-size: x-small;
  color: #4e4e4e;
}

#content .post-footer {
  font-size: x-small;
  color: #4e4e4e;
  padding: 0em;
  border-top: 1px solid #e7e7e7;
  border-bottom: 1px solid #e7e7e7;
  background-color: #f8f8f8;
}

#content .post-footer a {
  color: #325C74;
  text-decoration: underline;
}

#content .post-footer a:hover {
  text-decoration: none;
}

#content .section {
  text-align: right;
  font-size: small;
  color: #808080;
  margin-top: 1.5em;
}

#content .previous {
  padding: 0.5em 0em 0.5em 0em;
  float: left;
}

#content .next {
  padding: 0.5em 0em 0.5em 0em;
  float: right;
}

#sidebar {
  float: right;
  margin: 0em;
  padding: 0.5em 1em 1em 0em;
  width: 12em;
}

#sidebar h2 {
  font-size: small;
}

#sidebar ul {
  list-style-type: none;
  padding-left: 1em;
  margin-left: 0em;
}

#footer {
  clear: both;
  margin: 0em;
  padding: 1em 2em 1em 2em;
  background-color: #4e4e4e;
  text-align: right;
  font-size: x-small;
  color: #d0d0d0;
  border-radius: 0em 0em 0.5em 0.5em;
  -moz-border-radius: 0em 0em 0.5em 0.5em;
  -webkit-border-top-left-radius: 0em;
  -webkit-border-top-right-radius: 0em;
  -webkit-border-bottom-left-radius: 0.5em;
  -webkit-border-bottom-right-radius: 0.5em;
}

#wrapper>#content>.maketitle,
#wrapper>#content>introduction>.maketitle,
#wrapper>#content>.abstract {
    display: none;
}

img {
    border-width: 0px;
    max-width: 100%;
}

img.icon:active {
    position: relative;
    top: 1px;
}

pre.codeinput {
  background: #EEEEEE;
  padding: 10px;
}
@media print {
  pre.codeinput {word-wrap:break-word; width:100%;}
} 

span.keyword {color: #0000FF}
span.comment {color: #228B22}
span.string {color: #A020F0}
span.untermstring {color: #B20000}
span.syscmd {color: #B28C00}

pre.codeoutput {
  color: #666666;
  padding: 10px;
}

pre.error {
  color: red;
}

p.footer {
  text-align: right;
  font-size: xx-small;
  font-weight: lighter;
  font-style: italic;
  color: gray;
}

form#bibSearch {
    float: right;
    margin-bottom: 1em;
}
div#bibTable {
    clear: both;
    margin: 1em 0em;
}
div#bibTable .hidden,
div#bibTable pre,
div#bibTable ul + p {
    display: none;
}
div#bibTable .show {
    display: block;
}
div#bibTable p,
div#bibTable pre,
div#bibTable ul {
    margin: 0em;
    padding: 0.5em;
}
div#bibTable ul li {
    display: inline;
    list-style-type: none;
    margin-right: 0.5em;
}
div#bibTable ul + p {
    text-align: justify;
}
div#bibTable pre {
    white-space: pre-wrap;
    overflow: auto;
}
div#bibTable>div.highlight {
    background-color: #eee;
    border: 1px gray solid;
}
div#bibTable div {
    margin-bottom: 0.5em;
}