export const highlighterTip16: string;