body {
  padding: 0;
  margin: 0;
  font: 76% helvetica, sans-serif;
  color: #303030;
}

a {
  text-decoration: none;
  color: #08C;
}

a:hover {
  text-decoration: underline;
}

#container {
  margin: 25px auto 15px auto;
  width: 100%;
  max-width: 730px;
  padding: 5px 20px 20px 20px;
  box-sizing: border-box;
}

#logo {
  margin: 15px 0 0 0;
  border-bottom: 1px solid #d0d0d0;
}

#logo h1 a {
  color: #303030;
}

#logo h1 a:hover {
  text-decoration: none;
  color: #191919;
}

#main {
  line-height: 150%;
  font-size: 1.2em;
  width: 100%;
  padding: 20px 3px 20px 3px;
}

#footer {
  color: #808080;
  font-size: 0.9em;
  padding: 8px 0 8px 0;
  border-top: 1px solid #d0d0d0;
  text-align: center;
}

#footer a {
  color: #808080;
}

h1 {
  margin: 0 0 15px 0;
  font-size: 2.5em;
  font-weight: normal;
}

p, pre  {
  margin: 0 0 15px 0;
  line-height: 1.5em;
  text-align: left;
}

ul {
  margin-top: 0;
  margin-bottom: 0;
}

.right {
  text-align: right;
}

.hide {
  display: none;
}