body, p, td, th {
  font-family: Helvetica, Arial, sans-serif;
}

body {
  background: url('/images/background.png') repeat-y #666 center;
  margin: 0; }

#container {
  width: 760px;
  margin: auto;
  margin-top: 20px;
  background-color: #fff; }
 
h1 {
  font-family: Georgia, Times, serif; 
  margin: 0;
  float: left;
  font-size: 4.0em; }
  
h1 a {
  color: #000;
  text-decoration: none;
}
 
.format {
  clear: left;
  float: left;
  list-style-type: none;
  margin: 0;
  padding: 0; }
  .format li {
    float: left;
    margin-left: 20px; }
 
.portrait {
  float: right;
  margin-left: 20px;
  margin-top: 2px; }
 
.contact {
  margin: 0;
  font-family: Georgia, Times, serif; 
  list-style-type: none;
  float: right; }
  .contact li {
    text-align: right; }
 
.content {
  line-height: 130%;
  margin-top: 20px; }
  .content h2 {
    font-size: 1.0em;
    background: #333;
    color: #fff;
    margin: 0;
    padding: 2px 6px;
    padding-top: 3px;
    border: 2px #222 solid; }
  .content ul, .content li {
    list-style-type: none;
    margin: 0;
    padding: 0; }

.posts li {
  margin: 20px 10px;
  margin-bottom: 0px;
  padding-bottom: 20px;
  border-bottom: 1px #ccc solid;
}

.posts li .date {
  float: right;
  color: #999;
}

.posts li a {
  text-decoration: none;
  color: #03a;
  font-size: 1.2em;
}

.highlight pre {
  background: #eee;
  border: 1px solid #ccc;
  padding: 15px;
  overflow: auto;
}

pre, pre * {
  font-family: monospace;
  line-height: 130%;
}

#disqus_thread * {
  font-family: Helvetica, Arial, sans-serif;
}