Jermolene 41b6c5c088 Fix some toolbar margin issues ... Some toolbar buttons are nested inside more than one span		2017-07-11 14:42:05 +01:00
..
centralised	Don't mark the centralised theme as experimental	2016-01-07 16:49:14 +00:00
heavier	Make "Heavier" theme heavier	2016-11-14 15:14:47 +00:00
readonly	Consistent plugin descriptions	2015-02-17 10:28:54 +00:00
seamless	Consistent plugin descriptions	2015-02-17 10:28:54 +00:00
snowwhite	Make editor font configurable, so user can easily change it to eg monospace font (#2867)	2017-06-29 16:55:49 +01:00
starlight	Consistent plugin descriptions	2015-02-17 10:28:54 +00:00
tight	Tweaks to "Tight" theme	2015-10-12 17:54:17 +01:00
tight-heavier	Add tight-heavier theme that combines "tight" and "heavier"	2017-01-09 12:46:20 +00:00
vanilla	Fix some toolbar margin issues	2017-07-11 14:42:05 +01:00