body {
  background: #ccc; }
.container {
  background: #fff;
  border: 1px solid #aaa;
  padding: 1em; }
h1, h2, h3 {
  color: #888; }
h1 {
  font-weight: bold; }
a {
  color: #888; }
a:hover {
  background: #eee;
  color: #666;
  text-decoration: none; }
#head span {
  color: #666; }
#head a:hover span {
  color: #aaa; }
#side {
  text-align: right; }
#side ul {
  list-style-type: none;
  margin-right: 0; }
#side ul li span {
  font-family: Monaco, monospace; }
#foot p {
  border-top: 1px solid #ccc;
  color: #aaa;
  padding-top: 0.5em; }
#foot a {
  color: #aaa; }
#foot a:hover {
  color: #666; }
h1 {
  font-size: 300%;
  text-align: right; }
h1 a {
  text-decoration: none; }
h1 a:hover {
  color: #666; }
h2 {
  font-size: 175%; }
h3 {
  font-size: 150%; }
.article {
  border-bottom: 1px solid #ccc;
  margin-bottom: 1em; }
.article h2 a {
  text-decoration: none; }
.article p.metadata {
  color: #aaa; }
.article p {
  text-align: justify; }
.badges a:hover {
  background: transparent; }
div.colborder {
  border-color: #ccc; }
pre {
  background: #eee;
  border: 1px solid #ddd;
  overflow: auto; }