various css tweaks