From 74075746d45fc8b75a310cc03c797b67dcf1d495 Mon Sep 17 00:00:00 2001
From: Jerome Lachaud <jerome.lachaud@gmail.com>
Date: Wed, 23 Jan 2019 10:43:24 +0100
Subject: [PATCH] add Oceanic Next

---
 index.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/index.html b/index.html
index 46e7715..0f48d29 100755
--- a/index.html
+++ b/index.html
@@ -43,6 +43,7 @@
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/monokai.css">
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/neo.css">
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/night.css">
+	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/oceanic-next.css">
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/paraiso-dark.css">
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/paraiso-light.css">
 	<link rel="stylesheet" href="//cdnjs.cloudflare.com/ajax/libs/codemirror/5.43.0/theme/pastel-on-dark.css">
@@ -139,6 +140,7 @@
 						<option selected>monokai</option>
 						<option>neo</option>
 						<option>night</option>
+						<option>oceanic-next</option>
 						<option>paraiso-dark</option>
 						<option>paraiso-light</option>
 						<option>pastel-on-dark</option>