body { margin: 0 0.4in 0 0.4in; }

.red       {color: red;}
.bold      {font-weight: bold;}
.underline {text-decoration: underline;}
.italic    {font-style: italic;}
.small     {font-size: smaller;}

.backlink  {font-size: smaller;}

.marindent {margin-left: 0.4in;}
.bigindent {margin-left: 0.8in;}
.parindent {text-indent: 0.3in;}

img.left {
  float: left;
  margin-right: 0.7em;
 }

img.right {
  float: right;
  margin-left: 1em;
 }

li.spaced {
    margin-bottom: 1em;
  }