Small tweak to CSS