CSS refactorings, & add ".unhighlighted" CSS class