Widget builders for the various types of square highlights used.
final HighlightTheme? highlightTheme;