/* CSS Document */
h1 {
  font-size: 1.6em;
}
h2 {
  font-size: 1.2em;
}
div.indented {
  margin-left: 1em;
}