more docs css tweaks