History: Put comment header in dark gray