/* $Id: tugstyle.css,v 1.13 2004/05/17 22:41:10 karl Exp $ */

BODY {
  margin-top: 8pt; 
  margin-left: 8pt;
  color: black;
  background: white;
}

.smallskip  { margin-top:  8pt;}

a:link      { color: navy; }
a:visited   { color: "#339966"; }
a:active    { color: red; }