various theme tweaks