Jonathan Lebon 4726ae9df6 Sonokai theme: style secondary selections differently (#5440) ... Without styling the primary and secondary selections differently, it's impossible to tell them apart when cycling through selections. Make the primary selection slightly brighter and secondary selections slightly paler.		2023-01-24 17:23:09 -06:00
..
grammars	Dynamically load grammar libraries at runtime	2021-07-14 10:00:05 +09:00
queries	Support sagemath language (#5649)	2023-01-23 12:10:27 -06:00
themes	Sonokai theme: style secondary selections differently (#5440)	2023-01-24 17:23:09 -06:00
tutor	tutor: Change "Type" to "Press" for specials keys and modifiers (#5609)	2023-01-21 13:19:24 -06:00