*
{
  line-height: 2em;
}

body
{
  margin: 2em;
}

h1
{
  font-size: 2em;
  font-weight: bold;
  text-align: center;
}

h2
{
  font-size: 1.25em;
  font-weight: normal;
  text-align: center;
}

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

h4
{
  font-size: 0.75em;
  font-weight: bold;
  text-align: left;
}

span.subtitle
{
  font-size: 1em;
  font-weight: normal;
  text-align: center;
}

img
{
  border: none;
  float: right;
  margin: 0.5em;
  vertical-align: top;
}

p
{
  margin-top: 0;
  margin-bottom: 0;
  text-indent: 1em;
}

p.header
{
  margin-bottom: 1em;
  text-align: right;
}

p.footer
{
  font-size: 0.75em;
  margin-top: 0;
  margin-bottom: 0;
  text-indent: 1em;
}

pre
{
  font-size: 1em;
  font-weight: normal;
}

hr
{
  display: none;
}

br.img
{
  display: none;
}

div.description
{
  border: dotted silver;
  margin-top: 2em;
  padding: 1em;
}