Dark theme -- change color of category badges and highlighted text
category badges can be changed by adding a few simple CSS rules.
hightlighted text ([hl]) is implemented via inline styles, so ;only-of-type is required. that's not a good solution IMO. would be better to change the editor to apply CSS classes instead of inline style.