body {
  /*
  border: 2px solid #dddddd;
  */
  padding: 0;
  margin: 20px 0 0 0;
}

h1 {
  background-image: none;
  border-bottom: 1px solid #999999;
  padding: 0px 0 8px 0px;
  margin: 0 0 10px 0;
}

body#index h1 {
  border: none;
}

div.nav {
  display: none;
}

.code {
  margin: 1.0em 1px 20px 0;
  padding: 0.3em 0.5em 0.3em 0.5em;
  font-family: Courier, monospace;
  line-height: 1.20;
}

div.pic {
  padding: 7px 0 0 0;
}

li {
  margin-left: -10px;
}

li tt {
  font-size: 100%;
  font-family: Courier, monospace;
  font-weight: bold;
}

.screenshot {
  max-height: 680px;
  overflow: hidden;
}

.screenshot img {
  max-height: 680px;
}