Doc tweaks and CSS styling