Comments

• +1, would be really nice! for me it would help to label the colors to be consistent by highlighting interesting references, points to think about, ... etc.

  in [Feature request] Labelling the ''highlight text colours" Comment by schmidlorenz December 19, 2023