CSS: further styling fixes and workarounds