body
{
color: black;
background: white;
margin-left: +10%;
margin-right: +10%;
font-family: Times New Roman, Times, serif;
font-size: 12pt;
}

h1
{
margin-left: -7%;
text-decoration: underline;
font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif;
font-size: 16pt;
font-weight: bold;
}
h2
{
margin-left: -7%;
font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif;
font-size: 14pt;
font-weight: bold;
}
h3
{
margin-left: -3%;
font-family: Tahoma, Verdana, Arial, Helvetica, sans-serif;
font-size: 12pt;
font-weight: bold;
}
a:visited
{
color: blue;
}
a:active, a:link
{
color: blue;
text-decoration: underline;
}
.boxed
{
border-color: black;
border:       solid;
border-width: medium;
padding:      5px;
}

.literal
{
  font-family: Courier, monospace;
  font-weight: bold;
}