body {
  margin: 0em;
  padding: 0em;
  background-color: white;
  color: black;
  font-family: Arial, Helvetica, sans-serif;
}

pre {
  overflow: auto;
  background-color: lightgrey;
  color: #222222;
  padding: 0.1em;
  border: 0.05em solid #AAAAAA;
}

a {
  color: #BF9471;
  text-decoration: none;
}

a:hover {
  color: darkgoldenrod;
}

p {text-align: justify;}

code {
  font-family: monospace;
  color: #444444;
}

#blog-title {
  margin: 0 0 1em 0;
  padding: 0.3em;
  background-color: #700000;
  text-align: center;
}

#blog-title a {
  color: white;
}

#sidemenu {
  float: left;
  width: 8em;
}

#sidemenu>* {
  margin: 1em;
  font-size: 80%;
}

#sidemenu ul {
  list-style-type:none;
  padding: 0em;
  margin: 0em;
}

#sidemenu h3 {
  font-size: 110%;
  font-weight: normal;
  padding: 0em;
  margin: 0em;
}

#main {
  margin-left: 9em;
  margin-right: 2em;
}

.post {
  margin-top: 2em;
  margin-bottom: 1em;
  margin-left: 1em;
  margin-right: 1em;
}

.post-title {
  background-color: #FFFCE7;
  border: 0.05em solid #D6CDBB;
  padding: 0;
}

.post-title h2 {
  text-align: left;
  margin: 0.1em;
  padding: 0.1em;
  font-size: 130%;
}

.post-infos {
  margin: 0.4em 0.4em 0 0.4em;
}

.post-infos p {
  margin: 0;
  padding: 0;
  font-size: 70%;
}

.post-content {
  font-family: Times, serif;
  margin: 0 0.4em;
}

.post-content p {
  margin: 0.5em 0;
}