Minor refinements to CSS for our web-pages.