David Else 931ddbb077 Update HTML highlights (#11400) ... * Update HTML highlights * Update after review comments		2024-08-10 00:26:19 +09:00
..
grammars	Dynamically load grammar libraries at runtime	2021-07-14 10:00:05 +09:00
queries	Update HTML highlights (#11400)	2024-08-10 00:26:19 +09:00
themes	dark_plus: add picker highlights, update underlined modifier syntax, and tweak a few settings (#11415)	2024-08-10 00:23:58 +09:00
tutor	Fix typos in 2-character label jump Tutor entry (#11298)	2024-07-24 16:14:46 +02:00