TextDocument: cleanup high/lowlight
Tweak badge font size and border radius