minor css tweak before we cherry pick