body {
  font-family: sans-serif;
  margin: 20px;
  font-size: 14px;
  line-height: 1.5;
}

.container { max-width: 850px; margin: auto; }
.nav { margin-bottom: 20px; }

h1 { font-size: 20px; font-weight: normal; margin: 0 0 10px 0; }
h2 { font-size: 16px; font-weight: normal; margin: 24px 0 5px 0; border-bottom: 1px solid #ccc; }

table { width: 100%; border-collapse: collapse; margin-bottom: 15px; }
th, td { text-align: left; vertical-align: top; padding: 4px 5px; }

input, textarea, select, button {
  font-family: inherit;
  font-size: 13px;
  border: 1px solid #ccc;
  padding: 2px 4px;
}

pre { white-space: pre-wrap; border: 1px solid #ccc; padding: 8px; margin: 5px 0; }
.patch-box { margin-bottom: 15px; padding-bottom: 10px; border-bottom: 1px dashed #ccc; }
.patch-form { margin-top: 10px; padding: 10px; border: 1px solid #ccc; }
ul { padding-left: 20px; margin: 8px 0; }
hr { border: none; border-top: 1px solid #ccc; margin: 15px 0; }
small { font-size: 11px; }