##// END OF EJS Templates
Merge pull request #7512 from takluyver/update-whatsnew-15-01...
Merge pull request #7512 from takluyver/update-whatsnew-15-01 Update whatsnew doc from PR entries

File last commit:

r19287:96eaaf4c
r20037:53085e7a merge
Show More
highlight-refs.less
5 lines | 228 B | text/x-less | LessCssLexer
Nicholas Bollweg (Nick)
removing monkeypatch, importing rest of codemirror default theme
r19287 /* load the codemirror defaults as LESS so that highlight.less
can load default theme declarations by reference without pulling in the
nasty positioning
*/
@import (less) "../../components/codemirror/lib/codemirror.css";