.style.css: match better with GitHub font sizes