@import"https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,100..900;1,100..900&display=swap";body{font:20pt "Noto Sans",sans-serif}body #pre #title{font-size:3em;text-decoration:underline}body #pre #title,body #pre #desc{text-align:center}body #content table,body #content th,body #content td{border:.125rem solid}body #content table tr th{font-size:1.5em;text-align:left}body #content table tr .name{font-weight:bold}