another css tweak/hack/repair