highlighting for records definitions; part of #287