Minor changes to hint.css definitions