Please detach it from the "Caret colour" in the theme and let us customise the highlighting in the theme file:-

• border colour
• border width

Or preferably, scrap the border and just let us choose:

• background colour
• text colour

Thanks so much for an awesome editor!