* {
  font-family: Helvetica, Sans-Serif;
  font-size: 1em;
  font-weight: normal;
  margin: 0;
  padding: 0;
}

body {
  color: #202020;
  background-color: white;
  font-size: 0.9em;
  margin: 0 auto;
  width: 40em;
}

h1, h2, h3, ul, p {
  margin: 1em;
}

ul {
  margin-left: 2em;
}

h1 {
  background-color: #2C4CFD;
  background-image: url('h1.png');
  background-repeat: repeat-x;
  border-radius: 0.5em;
  font-size: 2em;
  color: #FFFFFF;
  margin: 0.5em 0.5em 2.5em 0.5em;
  padding: 0.5em;
  text-align: center;
}

h2 {
  font-size: 1em;
  font-weight: bold;
  margin-top: 5em;
  text-align: center;
}

h3 {
  font-size: 1em;
  font-weight: bold;
}

p.tagline {
  font-style: italic;
  margin-bottom: 5em;
}

p.example {
  border: 1px dashed black;
  background-color: #E0E0E0;
  padding: 1em;
  white-space: pre;
}

blockquote {
  border-left: 0.25em solid #2C4CFD;
  color: #606060;
  margin-left: 1em;
  padding-left: 1em;
}

kbd {
  color: #F91160;
  font-family: Monospace;
}

samp {
  color: #640BFD;
  font-family: Monospace;
}

a {
  color: #2C4CFD;
  text-decoration: underline;
}

em {
  font-style: italic;
}

strong {
  font-weight: bold;
}

sup {
  font-size: 0.5em;
}

small {
  font-size: 0.8em;
}