div.main {
  width: 100%;
  padding: 0 0 0 0;
  border: none;
}

H1 {
  margin-bottom: 1em;
  padding: 0;
  width: 100%;
}

H2 {
  padding: 0;
  width: 100%;
}

H3, H4 {
  border: none;
  width: 100%;
  color: #666666;
}

div.nav {
  width: 100%;
  padding: 0 0 0 0;
  border: 1px solid #d4d4d4;
}

div.nav a {
  padding: 0.25em 0.75em;
}

div.nav_nav {
  width: 100%;
}

div.nav_rss {
  display: none;
}

a.nav_a1 {
  background: #d4d4d4;
}

div.overview {
  margin: 1.5em 0 1.5em 0.75em;
}

div.detail {
  margin-left: 0;
}

div.date {
  display: none;
}

.gist .line-numbers {
  display: none;
}

.gist .line-data {
  font-size: 1em;
}