@font-face{font-family:libron;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/Libron-Regular.woff2)format('woff2')}@font-face{font-family:libron;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/Libron-Italic.woff2)format('woff2')}@font-face{font-family:libron;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/Libron-Bold.woff2)format('woff2')}@font-face{font-family:libron;font-style:italic;font-weight:700;font-display:swap;src:url(/fonts/Libron-BoldItalic.woff2)format('woff2')}body{font-family:libron,Georgia,serif;line-height:1.6}pre{line-height:1}#navigation a:link,#navigation a:visited{color:#00e;text-decoration:none}#navigation a:link:hover,#navigation a:visited:hover{color:#e00;text-decoration:underline}a:link{color:#00e}a:visited{color:#00a}a:hover,a:visited:hover{color:#e00}div.highlight{max-width:640px}div.highlight pre{padding:14px;white-space:pre-wrap;word-break:break-word}hr{border:none;border-top:3px dotted #333;height:0;margin:10px 0}