body
{
  font-family: Verdana, Arial, Helvetica, _sans;
  backgroundColor: #FBFF99;
  margin-left: 10;
}

h1
{
  fontSize: 16;
  font-weight: bold;
  leading: 10;
  margin-left: 10;
}

h2
{
  fontSize: 14;
  font-weight: bold;
  leading: 10;
  margin-left: 10;
}

p
{
  font-size: 12;
  leading: 8;
  margin-left: 20;
}

pre
{
  font-size: 12;
  leading: 8;
  margin-left: 20;
  display: block;
  font-family: _typewriter;
}

code
{
  font-size: 12;
  leading: 8;
  display: inline;
  font-family: _typewriter;
}

doctitle
{
  font-size: 18;
  font-weight: bold;
  text-align: justify;
  color: #990000;
  leading: 5;
  margin-left: 10;
}

a
{
  font-size: 12;
  color: #000099;
  text-decoration: underline;
  display: inline;
}

doctitle-margin-before, doctitle-margin-after
{
  font-size: 1;
  leading:   0;
  display:   block;
}

h1-margin-before, h2-margin-before,p-margin-before
{
  font-size: 1;
  leading:   2;
  display:   block;
}

h1-margin-after, h2-margin-after, p-margin-after
{
  font-size: 1;
  leading:  -10;
  display:   block;
}

ul-margin-before,ol-margin-before, dl-margin-before
{
  font-size: 1;
  leading:  -10;
  display:   block;
}

ul-margin-after, ol-margin-after, dl-margin-after
{
  font-size: 1;
  leading:  -5;
  display:   block;
}