html, body { height: 100%; } body { font-family: sans-serif; margin: 0; background-color: #ffffff; color: #000000; display: flex; flex-direction: column; } a { color: #0000cc; } a:hover, a:visited, a:active { color: #880000; } span.cntrl { border: dashed #aaaaaa; border-width: 1px; padding: 0px 2px 0px 2px; margin: 0px 2px 0px 2px; } img.logo { float: right; border-width: 0px; } img.avatar { vertical-align: middle; } img.blob { max-height: 100%; max-width: 100%; } a.list img.avatar { border-style: none; } .page_header { padding: 1rem; font-size: 150%; font-weight: bold; border-top: 0.25rem solid #f71; background-color: #f716; } .page_header a:visited, a.header { color: #0000cc; } .page_header a:hover { color: #880000; } /* .page_header + nav.page_subhead now wraps .page_nav and the search form, which is reduced from