summaryrefslogtreecommitdiff
path: root/public/views
diff options
context:
space:
mode:
authorWu Cheng-Han2015-09-25 19:01:20 +0800
committerWu Cheng-Han2015-09-25 19:01:20 +0800
commit8de5404bb17e128207976ca95056d4fb3e96164b (patch)
tree0f8fea65350441b84257f1ae2fa34af5b33e6701 /public/views
parent98ca5cb3df28064a16b30f96e6b5392c458b473e (diff)
Added new editor theme: one-dark, updated monokai active line gutter style
Diffstat (limited to '')
-rw-r--r--public/views/head.ejs1
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">