body {
  background-color: #888888;
  font-family: Helvetica, Georgia, Trebuchet MS, sans-serif;
  font-color: #000000; }

div#main {
  margin: 0 auto;
  padding: 1em;
  width: 20%;
  text-align: center; }

.container {
  background-color: #eeeeee; }

#header a {
  text-decoration: none; }

#content {
  padding-top: 1em; }
  #content p {
    font-size: 1.3em; }

#sidebar p {
  font-size: 2em; }
#sidebar ul {
  list-style: none;
  margin-left: 0.5em; }


.post_info {
  font-size: 1.5em;
  font-weight: bold;
  color: #888; }

h1 {
  font-size: 3em;
  font-weight: bold;
  margin-bottom: 0.1em;
  letter-spacing: -1px; }

h2 {
  color: black;
  font-size: 5em;
  font-weight: bold;
  letter-spacing: -2px;
  margin-bottom: 0.1em;
  line-height: 1em; }
  h2 a, h2 a:visited {
    color: black;
    text-decoration: none; }

h3 {
  font-size: 2em;
  font-weight: bold; }

h4 {
  font-size: 2em;
  font-weight: bold;
  margin-bottom: 0; }

a {
  color: #666666;
  text-decoration: underline; }

a:visited {
  color: #555555; }

pre.eiffel {
  border: 1px solid;
  border-color: #CCCCCC;
  padding: 1em;
  font-size: 1em;
  font-weight: normal;
  font-family: 'Bitstream Vera Sans Mono','Courier',monospace; }

.irb {
  font-family: Monaco,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
  padding: 1em;
  background-color: #000000;
  color: #ffffff; }

.console {
  font-family: Monaco,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace;
  padding: 1em;
  background-color: #000000;
  color: #ffffff; }
  .console .red {
    color: #ff0000; }
  .console .green {
    color: #00ff00; }