##// END OF EJS Templates
Merge pull request #976 from minrk/whatsnew...
Merge pull request #976 from minrk/whatsnew Getting started on What's New for 0.12, and adding github sphinx extension, for easy links to GitHub issues, pull requests, etc.

File last commit:

r4934:265d40c7
r5282:da777005 merge
Show More
elegant.css
9 lines | 513 B | text/css | CssLexer
.cm-s-elegant span.cm-number, .cm-s-elegant span.cm-string, .cm-s-elegant span.cm-atom {color: #762;}
.cm-s-elegant span.cm-comment {color: #262;font-style: italic;}
.cm-s-elegant span.cm-meta {color: #555;font-style: italic;}
.cm-s-elegant span.cm-variable {color: black;}
.cm-s-elegant span.cm-variable-2 {color: #b11;}
.cm-s-elegant span.cm-qualifier {color: #555;}
.cm-s-elegant span.cm-keyword {color: #730;}
.cm-s-elegant span.cm-builtin {color: #30a;}
.cm-s-elegant span.cm-error {background-color: #fdd;}