margin-right: auto;
font-size: 100%;
border: thin solid #000000;
+ border-radius: 1em;
}
body #page #headerbar {
background: #9a9a9a;
color: black;
border-top: thin solid #000000;
+ border-bottom-left-radius: 1em;
+ border-bottom-right-radius: 1em;
}
body #page #footer p {