by Alex: fixes in css