body {
    background: white;
    foreground: black;
    font-family: "Times New Roman";
    line-height: 1.25;
}
@media (min-width: 641px) {
    body {
	margin: 32px 64px 32px 64px;
    }
}
@media (max-width: 640px) {
    body {
	margin: 8px 16px 8px 16px;
    }
}
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;
}
pre {
    overflow: auto;
}