html body {
    font-family: system-ui, -apple-system, BlinkMacSystemFont,
        'Segoe UI', Helvetica, Arial, sans-serif,
        'Apple Color Emoji', 'Segoe UI Emoji', 'Segoe UI Symbol';
    background: #ffffff ;
    color: rgba(0, 0, 0, 0.87) ;
    font-size: 14px ;
    line-height: 1.6 ;
}

section.textbody {
    max-width: 960px ;
    margin-left: auto ;
    margin-right: auto ;
}

p {
    margin: 0 ;
    margin-bottom: 1em ;
}

A:link { color: #0d47a1 ; }
A:visited { color: #0d47a1 ; }
A:hover { color: #0d47a1 ; text-decoration: underline ; }
A:active { color: #0d47a1 ; }

h1, h2, h3, h4, h5, h6 {
    font-family: system-ui, -apple-system, BlinkMacSystemFont,
        'Segoe UI', Helvetica, Arial, sans-serif ;
    font-weight: 500 ;
    line-height: 1 ;
    margin-top: 1.2em ;
    margin-bottom: 0.8em ;
}

h1 { font-size: 29px ; }
h2 { font-size: 24px ; }
h3 { font-size: 20px ; }
h4 { font-size: 29px ; }
h5 { font-size: 24px ; }
h6 { font-size: 20px ; }

ul, ol {
    padding-left: 2em ;
    margin-bottom: 1em ;
}

li p {
    margin-bottom: 0.3em ;
}

ul.itemize {
    list-style-type: disc !important ;
}

ul.itemize span.listmarker {
    display: none ;
}

blockquote, div.quote {
    margin: 1em 2em ;
    padding: 0.5em 1em ;
    border-left: 3px solid #ccc ;
}

blockquote p {
    font-size: inherit ;
    line-height: 1.3 ;
    margin-bottom: 0.3em ;
}

div.footnotes {
    margin-top: 1.5em ;
    padding-top: 0.8em ;
    border-top: 1px solid #e0e0e0 ;
    font-size: 0.85em ;
    color: rgba(0, 0, 0, 0.6) ;
}

div.footnotes p {
    padding-left: 1.3em ;
    text-indent: -1.3em ;
    margin-bottom: 0.3em ;
}

span.texttt, kbd, p span.texttt {
    font-family: Menlo, Consolas, 'DejaVu Sans Mono', monospace ;
}

span.textrm, div.textrm, span.textnormal, div.textnormal {
    font-family: system-ui, -apple-system, BlinkMacSystemFont,
        'Segoe UI', Helvetica, Arial, sans-serif ;
}

div.sidetoccontainer {
    font-family: system-ui, -apple-system, BlinkMacSystemFont,
        'Segoe UI', Helvetica, Arial, sans-serif ;
    background: #fafafa ;
    border-right: 1px solid #e0e0e0 ;
    border-bottom: 1px solid #e0e0e0 ;
}

header {
    border-bottom: 1px solid #e0e0e0 ;
}

footer {
    border-top: 1px solid #e0e0e0 ;
}

nav.topnavigation, nav.botnavigation {
    border-color: #e0e0e0 ;
}