Color of checkbox should be of p5 editor's theme but its not

[PiyushThapaa]

p5.js version

No response

What is your operating system?

Windows

Web browser and version

Chrome

Actual Behavior

The color of checkbox should be of p5 editor's theme according to this code but this code is not working and the color of checkbox is default

Expected Behavior

recording-2023-12-30-18-42-34.mp4

The expected behaviour should be like this...

Steps to reproduce

Steps:

1. Go to the p5 web editor website
2. In tool section below the header, there is a checkbox

[PiyushThapaa]

@lindapaiste please assign this to me

[mayanksahu17]

hey I can fix this issue. Can u assign me ?

[lindapaiste]

Can you please explain what you are showing in the video that isn't right? Because it looks correct to me. I see a pink checkbox next to "Auto-refresh". Then you change the theme to "dark" mode and it is pink. Then to "contrast" and it is yellow. That's all correct.

Ohhhh your video is showing the expected behavior. Nevermind!