@charset "UTF-8";body{font-family:"Computer Modern Sans",sans-serif}body a{text-decoration:none}body a:visited,body a:active,body a:link{color:#157640}body a:hover{color:#3cb371}.active{font-weight:bold}.header{background-color:white;color:black;text-align:center}.header a{margin-left:10px;margin-right:10px;font-size:large}.header a:visited,.header a:link{color:black}.header a:hover{color:#3cb371}.section{width:device-width;max-width:750px;float:center;padding-left:10px;padding-right:10px;padding-top:5px;text-align:justify;text-justify:inter-word;margin:auto}table{border-spacing:8px 0px}ul{padding-left:20px}ul li{margin-top:5px;margin-bottom:5px}.display-math{display:block;margin-left:auto;margin-right:auto;padding-top:7px;padding-bottom:7px}.inline-math{display:inline;margin:0}.footer{width:device-width;max-width:650px;float:center;padding-left:10px;padding-right:10px;margin:auto;background-color:white;color:black;text-align:center}.proof{padding-bottom:1px}.proof p:first-of-type::before{content:"Proof. ";font-style:italic}.proof p:last-of-type::after{white-space:pre;text-align:right;float:right;font-size:large;content:"□"}