Coloring of clickable items in panel

[IchiganCS]

Hi,

Thank you very much for this great extension and active development on it. Since the newest update which made user-defined values clickable, the text of those items is displayed in an unreadable completely white color for me. This is only the case in the Agda panel from this extension.

The clicking works as expected, I guess it is a simple configuration issue, maybe because I'm using Light mode (Light Modern, a standard theme for vs code). For Dark Modern, the color is also white and nicely readable.

Many thanks in advance and I hope you have a nice weekend!