BODY {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 11pt;
}
pre {
    background-color: #f2f2f2;
    margin-left: 2em;
    margin-right: 2em;
    padding: 5px;
    border: 1px solid silver;
	font-size: 1.8vw;
}
blockquote {
    background-color: #f2f2f2;
    margin-left: 2em;
    margin-right: 2em;
    padding: 5px;
    border: 1px solid silver;
    font-family: "Courier New", Courier, monospace;
	display: table;
	white-space: nowrap;
}
dt {
    margin-left: 2em;
    margin-right: 2em;
    font-weight: bold;
	white-space: nowrap;
}
dd {
    margin-left: 4em;
    margin-right: 4em;
    margin-bottom: .8em;
}
tt {
    font-size: 11pt;
}
li {
    list-style-type: square;
}
h1 {
    margin-top: .1em;
    margin-bottom: .1em;
}
h2 {
    margin-top: .1em;
    padding-bottom: .1em;
    border-bottom: 1px solid black;
    padding-left: .5em;
}
.nav {
    font-weight: bold;
    font-family: monospace;
    font-size: 8pt;
    border: thin solid black;
    padding: .5em;
    margin-left: 1em;
    margin-right: 1em;
    background-color: #eee;
}
.link {
    text-decoration: underline;
    color: #00f;
}