a:active, a:link, a:hover, a:visited {
  color: #404040;
}

a:link, a:visited {
  text-decoration: none;
}

h1 {
  font-size: 18px;
}

h2 {
  font-size: 14px;
}

h3 {
  font-size: 12px;
}

p {
  line-height: 140%;
}

.error {
  color: #DD7417;
}

/*=== Enumeration ===*/

.enumeration-header {
  font-weight: bold;
  padding-top: 4px;
}

#main .enumeration-body {
  padding-bottom: 4px;
  line-height:    140%;
}

/* Code snippets */

pre {
  padding:          10px;
  margin:           14px;
  border-style:     dashed;
  border-width:     1px;
  background-color: #F2F2F2;
}

.literal {
  font-family: monospace;
  white-space: pre-wrap;
}