body {
 background: white;
 foreground: black;
 font-family: "Times New Roman";
 margin: 32px 64px 32px 64px;
 line-height: 1.25;
}
h1 {
 font-size: large;
}
h2 {
 font-size: large;
 margin: 1em 0em 0em 0em;
 border-bottom: medium solid #333366;
}
h3 {
 border-bottom: thin solid #333366;
}
pre {
 color: #900;
}
tt {
 color: #900;
}
em 
{
 font-style: normal;
 color: #f00;
}