more small improvements to css