*{padding:0;margin:0;border:0;}
html{background:#005272;}
body{font-size:14pt;font-family:sans-serif;text-decoration:none;color:#000;}
.main{background:#fff;padding:1.0%;position:relative;border:1px #000 solid;border-radius:15px;}
#content{margin:1% 2% 1% 2%;min-height:25em;max-width:45em;}
#head{display:none;}
#menu{float:right;margin:0% 2%;text-align:center;z-index:1;border-radius:0 15px 0 15px;}
#menu a{display:block;font-weight:700;margin:.5em 0;text-decoration:none;}
pre{background:#e5e5e5;font-size:1em;padding:.5%;border:1px #000 solid;margin:1em;border-radius:15px;overflow:auto;}
.quote{background:#e5e5e5;font-family:monospace;border:1px #000 solid;padding:.5%;margin:0.5em 1em;border-radius:15px;}
div#search{background:#e5e5e5;border:1px #000 solid;padding:.5%;margin:1.5em 0;border-radius:15px;}
.addendum{background:#e5e5e5;border:1px #000 solid;padding:.5%;margin:1.5em 0;border-radius:15px;}
table{margin-left:1em;empty-cells:show;}
th,td,mtd{background:#e5e5e5;border:1px #000 solid;padding:1px}
h1,h2,h3,h4{color:#333;margin:.6em;}
h1{font-size:1.8em;}
h2{font-size:1.6em;}
h3{font-size:1.4em;}
h4{font-size:1.2em;}
h2 a{text-decoration:none;}
a{color:#005272;}
a:active{text-decoration:underline;}
a:hover{color:gray;}
p,aside{margin:1em;}
iframe,img,svg{margin-left:1em;}
math{font-size:1.4em;font-family:"DejaVu Serif",serif;}
li{margin:0 2em;}
li h1{margin:0;}
li h2{margin:0;}
li h3{margin:0;}
li h4{margin:0;}
ol,ul{padding:.25em 0;}
hr{margin:1em 0;}
.limit-width{max-width:calc(100% - 2em);}
iframe{width:calc(100% - 2em);aspect-ratio:16/9;}