Updating file 'docs/overrides/editor.html' with otterdog.

eclipse-cdt · Aug 9, 2023 · 3e9e418 · 3e9e418
1 parent d120d77
commit 3e9e418
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/docs/overrides/editor.html b/docs/overrides/editor.html
@@ -30,9 +30,6 @@
   <!-- Google Fonts -->
   <link href="https://fonts.googleapis.com/css?family=Open+Sans:400italic,600italic,700italic,400,600,700" rel="stylesheet" type="text/css">
 
-  <!-- CodeMirror -->
-  <link rel="stylesheet" href="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.css">
-
   <!-- jsonnet.org stylesheet -->
   <link rel="stylesheet" type="text/css" href="https://eclipsefdn.github.io/otterdog-assets/css/doc.css" />
   <link rel="stylesheet" media="print" href="https://eclipsefdn.github.io/otterdog-assets/css/desktop.css">
@@ -41,4 +38,7 @@
   <link rel="stylesheet" media="screen and (max-width: 1295px) and (min-width: 720px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone.css">
   <link rel="stylesheet" media="screen and (max-width: 719px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone-small.css">
   {{ super() }}
+
+  <!-- CodeMirror -->
+  <link rel="stylesheet" href="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.css">
 {% endblock %}