trivial tweaks to css