@import url("https://cdn.jsdelivr.net/gh/teymour-aldridge/cm-web-fonts@latest/font/Bright/cmun-bright.css");a,a:hover,a:visited{color:black;text-decoration:underline}body{font-family:"Computer Modern Bright", sans-serif;font-size:14pt}h1,h2,h3,h4,h5,h6{font-weight:lighter}.content{padding-left:15px;padding-right:15px;max-width:812px}nav{position:relative;display:flex;flex-wrap:wrap;align-items:flex-start;justify-content:flex-start}nav ul{padding-left:15px;padding-right:15px;flex-direction:row;list-style:none}nav ul :first-child{padding-left:0}nav ul li{padding:.25rem .5rem;float:left}div.first-subsection h1{padding-bottom:0;margin-bottom:0.25em}div.first-subsection h1 a{text-decoration-thickness:0.1rem}div.subsection h1{padding:0;margin-top:0.25em;margin-bottom:0.25em}div.subsection h1 a{text-decoration-thickness:0.1rem}