Themes and language defs for use with highlight