@JPEG one small bit of constructive criticism if you’ll allow it. At a glance, the highlights look similar to selected text because of the blue color. You might consider changing to a different color like yellow or green. But like I said, it looks really nice! Hope you don’t mind the intrusion.