CSS tweaks to CSTools and some general housekeeping