some fixes to CSS