Minor additions to css