Martin Aeschlimann f319787f7d [themes] Selection highlight color is too similar to the selection color on Monokai. Fixes #20577		2017-10-03 17:33:42 +02:00
..
themes	[themes] Selection highlight color is too similar to the selection color on Monokai. Fixes #20577	2017-10-03 17:33:42 +02:00
OSSREADME.json	Hello Code	2015-11-13 14:39:38 +01:00
package.json	Monokai UI theme - first pass for #25327 (#25599)	2017-04-28 09:04:51 +02:00