body {
  padding: 8px;
  font-family: sans-serif;
  color: black;
  background-color: white;
  margin-left: auto; margin-right: auto;
  max-width: 75em;
}

h1 {
  font-size: xx-large;
  margin: 0px 0px 0.2em;
  padding: 0.2em 2em;
  border-bottom: 1px solid black;
  text-align: center;
}

h1 a {
  text-decoration: none;
  border: none;
}

h2 {
  font-weight: bold;
}

body div {
  text-align: left;
  padding: 0px;
  margin: 0px;
}

a {
  text-decoration: none;
  color: black;
  border-bottom: 1px dotted black;
}

a:hover {
  border-bottom: 1px dotted red;
}

#left {
  float: left;
  width: 19%;
}

#right {
  float: left;
  width: 19%;
}

#content {
  float: left;
  width: 60%;
  padding: 1%;
}

div.sidebar {
  font-size: small;
}

div.sidebar div {
  padding: 0em 0.5em 0.5em;
  margin-top: 1em;
  margin-bottom: 0.5em;
}

div.sidebar div h2 {
  font-size: small;
  text-align: center;
  border-bottom: 1px solid black;
  padding: 0.5em;
}

div.sidebar div ul {
  list-style: none;
  padding: 0em 0.5em;
}
div.sidebar div ul li {
  padding: 0em 0em 0.5em;
}

div.sidebar div dl {
  list-style: none;
  padding: 0em 0.5em;
}
div.sidebar div dl dt {
  font-weight: bold;
  padding: 0.5em 0em;
}
div.sidebar div dl dd {
  padding: 0em 0em 0.5em 0.5em;
  margin: 0em;
}

div.bluebox {
  background-color: #cfcfff;
  border: 1px solid #6f6fff;
}

div.redbox {
  background-color: #ffcfcf;
  border: 1px solid #ff0000;
}

div.violetbox {
  background-color: #cfafff;
  border: 1px solid #7f00ff;
}

div.orangebox {
  background-color: #ffcfaf;
  border: 1px solid #cf8f6f;
}

div.greenbox {
  background-color: #cfffcf;
  border: 1px solid #00cf00;
}

div.yellowbox {
  background-color: #ffffcf;
  border: 1px solid #cfcf6f;
}

div.brownbox {
  background-color: #cfcfaf;
  border: 1px solid #afaf8f;
}

div.entry div.date {
  float: right;
  font-size: small;
  padding: 0em 1em;
}

div.offsetnavigation {
  text-align: center;
  font-size: small;
  padding: 0.5em 0em;
  color: black;
}

div.offsetnavigation {
  color: grey;
}

div.entry {
  margin-bottom: 3em;
  padding-bottom: 3em;
  border-bottom: 1px solid grey;
}

div.entry h2 {
  font-family: serif;
  font-size: large;
  padding: 0em 0.5em;
}

div.entry p {
  padding: 0.5em 0.2em;
  text-align: justify;
  color: #333;
}

div.entry div.tags {
  float: right;
  font-size: small;
}
span.tagcount {
  font-size: x-small;
}

div.entry h3 {
  font-size: medium;
  font-weight: bold;
}

div.commentdate {
  float: right;
  padding: 0.1em;
}

div.commentauthor {
  padding: 0.1em;
  //height: 68px;
}
div.commentauthor div.nick {
  font-weight: bold;
}
div.commentauthor img {
  float: left;
  padding: 2px;
}
div.commenttext {
  background-color: #e0e0e0;
  margin: 0.1em;
  padding: 2px;
}

div.commenthint {
  font-size: small;
  margin: 2em 0.1em;
  padding: 2px;
}

input#searchinput {
  font-size: small;
  border: 1px solid #cfcfcf;
  width: 90%;
  margin-left: auto;
  margin-right: auto;
}
input#searchinput:hover {
  border: 1px solid black;
}

div.code pre span.keyword {
  color: blue;
}
div.code pre span.method {
  color: black;
  font-weight: bold;
}
div.code pre span.class {
  color: green;
  font-weight: bold;
}
div.code pre span.module {
  color: green;
  font-weight: bold;
}
div.code pre span.punct {
  color: grey;
}
div.code pre span.symbol {
  color: green;
}
div.code pre span.black {
  color: green;
}
div.code pre span.constant {
  color: red;
}
div.code pre span.number {
  color: blue;
}

ul.gallery {
  text-align: center;
}
ul.gallery li {
  padding: 0.2em 0;
}
ul.gallery li a {
  border: none;
}
ul.gallery li a img {
  border: 1px solid black;
  width: 95%;
}

ul.image-set {
  text-align: center;
}
ul.image-set li {
  display: inline;
  list-style-type: none;
}
ul.image-set li a {
  border: none;
}
ul.image-set li a img {
  border: 1px solid black;
  margin: 0.1em 0.2em;
}

blockquote {
  display: block;
  padding: 0 2em;
  font-family: serif;
}
blockquote:before, blockquote:after {
  color: #666;
  display: block;
  font-size: 700%;
  width: 2em;
  font-family: serif;
}
blockquote:before {
  height: 0;
  content: open-quote;
  margin-left: -0.55em;
}
blockquote:after {
  content: close-quote;
  height: 50px;
  margin-top: -60px;
  margin-left: 5em;
}
