body {
  background-color: #BBF;
}

h2 {
  margin: 0px;
}

span.code {
  font-family: monospace;
}

a.button {
  text-decoration: none;
}

a.button img {
  border-style: hidden;
}

div.intro {
  margin-left: 20%;
}

div.content,
div.categories {
  border: 1px solid black;
  background-color: #FAF5E0;
  padding: 10px 4px;
  float: right;
  width: 80%;
  margin-right: 1%;
}

div.content div.entry,
div.categories div.entry {
  background-color:white;
  border: 1px dashed black;
  margin: 2px 2px 12px;
  padding: 4px;
}

div.extras {
  width: 18%;
}

div.extras h2 {
  background-color: #999;
  margin: -4px;
  padding: 4px;
  font-size: 10pt;
}

div.extras ul {
  padding-left: 20px;
}

div.extras li {
  font-size: 8pt;
}

div.extras li.current > a {
  background-color: #EEF;
}

div.extras div.box {
  border: 1px solid black;
  margin: 4px 0px;
  padding: 4px;
  background-color: #CCF;
}