Matt Pass 6ef524e4ce Themes applied to editor & styling made more general ...

Some of the general styling moved from default theme to here
(margin on HTML & body, plus selected, gutter, cursor & matching styles)
Removed setting of theme here, done dynamically with existing functions

2012-04-19 17:47:49 +01:00

7.5 KiB

Raw Blame History

View Raw