Alex d5ba0b5162 Allow separate styles for markup headings (#1618) ... * update markdown highlighting to use separate heading themes * remove markdown theme scopes in ui		2022-02-21 16:45:48 +09:00
..
grammars	Dynamically load grammar libraries at runtime	2021-07-14 10:00:05 +09:00
queries	Allow separate styles for markup headings (#1618)	2022-02-21 16:45:48 +09:00
themes	Fix hover menu item text color in base16 themes (#1668)	2022-02-15 14:21:52 +09:00
tutor.txt	Continue tutor (#737)	2021-10-16 12:47:45 +09:00