@import "https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@300;400;500;600&family=Source+Sans+3:ital,wght@0,300;0,400;0,500;0,600;1,300;1,400;1,500;1,600&display=swap";div#site-header{vertical-align:center}div#header-col-left{display:flex;align-items:center}div#header-col-right{display:flex;justify-content:end;align-items:center}span#site-title{font-size:2em}span#site-title a{color:#444;text-decoration:none}#header-icon-bar{text-align:right}a.site-header-link,a.site-header-link:visited{color:#222;font-weight:700;text-decoration:underline;text-decoration-thickness:2px;text-underline-offset:5px;margin-right:5px}a.site-header-link:hover{text-decoration:none}div#footer{margin-bottom:0;font-size:small;border-top:1px solid #666;padding-top:10px;text-align:right;margin-top:40px}nav#breadcrumbs{font-size:.8em}