@import url('https://fonts.googleapis.com/css2?family=Public+Sans:ital,wght@0,100..900;1,100..900&family=Zilla+Slab:ital,wght@0,300;0,700;1,300;1,700&display=swap');
body {
    margin-top: .25in;
    padding-left: .25in;
    padding-right: .25in;
    margin-bottom: .25in;
    background-color: #FFF;
    font-family: 'Public Sans', sans-serif;
    font-weight: 300;
    line-height: 1.4;
}

b {
    font-weight: 700;
}

a:link {
    text-decoration: none;
    color: blue;
}

a:visited {
    text-decoration: none;
    color: blue;
}

div.title {
    margin-top: .35in;
    margin-bottom: 0in;

    padding-left: .5em;
    padding-bottom: 12px;

    border-bottom-style: solid;
    border-bottom-color: #007;
    border-bottom-width: 3px;

    font-family: 'Zilla Slab', serif;
    font-weight: 300;
    color: #007;
}

div.title h1 {
    margin-bottom: .5ex;
}

div.nav-header {
    float: left;
    position: relative;
    width: 140px;
    padding-top: .5in;
    padding-bottom: .5in;
    padding-left: 10px;
    padding-right: 20px;
    font-size: 14px;
    line-height: 1.2;
    background-color: #EEF;
}

div.nav-header div {
    font-weight: 600;
    text-align: right;
    vertical-align: middle;
    padding-left: .2in;
    padding-right: .2in;
    padding-top: .5em;
    padding-bottom: .5em;
}

div.nav-header div.nav-header-top {
    color: #500;
    text-align: center;
    padding-bottom: .1in;
    margin-bottom: .1in;
    padding-top: 0in;
    border-bottom-style: solid;
    border-bottom-width: 2px;
    text-transform: uppercase;
}
div.content {
    padding-top: .3in;
    margin-top: -1px;
    margin-left: 170px;
    margin-right: 5em;
    padding-bottom: 0.25in;
    padding-left: 3em;
    border-left-style: solid;
    border-left-color: #007;
    border-left-width: 3px;
    max-width: 40em;
}


div.sub-nav-header {
    background-color: #CCC;
    margin-left: -0.25in;
    padding-left: 0.25in;
    margin-right: -4em;
    padding-right: 0.25in;
    font-size: 10pt;
    padding-top: 1ex;
    padding-bottom: 1ex;
    margin-bottom: 1ex;
}

div.sub-nav-header span {
    padding-right: 2em;
    padding-top: .5ex;
    padding-bottom: .5ex;
    display: inline-block;
}

div.content h2 {
    color: #500;
    font-family: 'Zilla Slab', serif;
    font-weight: 600;
}

div.content th {
    font-size: 90%;
    background-color: #CCFFFF;
    color: #00007F;
}

div.content tt {
    color: #000099;
}

div.content blockquote {
    padding: 12px 12px 12px 12px;
    margin-left: 12px;
    margin-right: 12px;
    background-color: #CCC;
}

div.content blockquote tt {
    color: #000;
}

div.content pre.code {
    padding: 12px 12px 12px 12px;
    margin-left: 12px;
    margin-right: 12px;
    background-color: #CCC;
    font-family: monospace;
    white-space: pre;
    overflow: auto;
    color: black;
}
div.content pre.code span.comment {
    font-style: italic;
    color: green;
}

div.content li {
    padding-bottom: .5em;
}

div.footer {
    padding-top: 1em;
    border-top-style: solid;
    border-top-color: #007;
    border-top-width: 3px;
}

h2.commentsection {
    color: #500;
    clear: both;
    border-bottom-style: solid;
    border-bottom-width: 2px;
    margin-right: 3in;
    margin-left: 0;
    padding-left: 0px;
    min-width: 10em;
    max-width: 15em;
    padding-bottom: .5em;
}

div.comments {
    text-indent: -2em;
    margin-left: 2em;
}

div.center table {
    margin-left: auto;
    margin-right: auto;
}

.warn {
    color: #f00;
}

@media print {
    body {
	padding: 0;
    }
    div.nav-header {
	display: none;
    }
    div.sub-nav-header {
	margin-left: 0;
	margin-right: 0;
	padding-left: 0;
	padding-right: 0;
    }
    div.content {
	margin: 0;
	padding: 0;
	border: none;
    }
}

ul.pubs {
    padding: 0;
    margin: 0;
}

ul.pubs > li {
    display: block;
    padding-bottom: 1em;
}

ul.pubs ul {
    padding: 0;
    margin: 0;
    margin-top: 0.25em;
    padding-top: 0.25em;
    padding-left: 1em;
    margin-left: 1em;
    border-left: 1px #777 solid;
}

ul.pubs ul li {
    padding: 0;
    color: #777;
    font-size: small;
    display: block;
    padding-bottom: 0.3em;
    font-weight: 100;
}

ul.pubs ul li a:link {
    color: #33B;
}

ul.pubs ul li a:visited {
    color: #939;
}