tweaks to css because server theme is missing styles