- Oct 09, 2015
-
-
idleberg authored
-
- Aug 06, 2015
-
-
Vincent Woo authored
Also some general improvements to material.css and solarized.css
-
- Aug 03, 2015
-
-
Vincent Woo authored
-
Vincent Woo authored
-
- Jun 26, 2015
-
-
Marijn Haverbeke authored
So that selection inside widgets isn't affected Issue #3342
-
- Feb 20, 2015
-
-
Marijn Haverbeke authored
So that the contenteditable input style doesn't look silly on desktop.
-
- Jun 23, 2014
-
-
Marijn Haverbeke authored
Using the CodeMirror-guttermarker and CodeMirror-guttermarker-subtle CSS classes to give the markers their color. Issue #2602
-
- Sep 24, 2013
-
-
Marijn Haverbeke authored
-
- Aug 19, 2013
-
-
angelozerr authored
-
- Jul 25, 2013
-
-
Jan T. Sott authored
-