diff options
| author | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
|---|---|---|
| committer | Wu Cheng-Han | 2015-09-25 19:01:20 +0800 |
| commit | 8de5404bb17e128207976ca95056d4fb3e96164b (patch) | |
| tree | 0f8fea65350441b84257f1ae2fa34af5b33e6701 /public/views/head.ejs | |
| parent | 98ca5cb3df28064a16b30f96e6b5392c458b473e (diff) | |
Added new editor theme: one-dark, updated monokai active line gutter style
Diffstat (limited to '')
| -rw-r--r-- | public/views/head.ejs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/public/views/head.ejs b/public/views/head.ejs index 4657ecac..eabe24b7 100644 --- a/public/views/head.ejs +++ b/public/views/head.ejs @@ -23,6 +23,7 @@ <link rel="stylesheet" href="/vendor/codemirror/addon/scroll/simplescrollbars.css"> <link rel="stylesheet" href="/vendor/codemirror/addon/search/matchesonscrollbar.css"> <link rel="stylesheet" href="/vendor/codemirror/theme/monokai.css"> +<link rel="stylesheet" href="/vendor/codemirror/theme/one-dark.css"> <link rel="stylesheet" href="/css/github-extract.css"> <link rel="stylesheet" href="/css/gist.css"> <link rel="stylesheet" href="/vendor/highlight-js/github-gist.min.css"> |