html {font-family: Arial, Helvetica, sans-serif;}
code, .pg_svg_chart > svg {font-family: 'Lucida Sans Typewriter', 'Lucida Console', Monaco, Consolas, monospace;}

body {min-width: 360px;}

#header nav a div {text-align: right; margin-right: 0.25em;}

#header > div img {width: 2.5em;}