Small tweak to the CSS. Fixes #16