Whoops, pushed an unfixed css file. Minor fix regarding highlightSelectionMatches.