some css refinements