adjust CodeMirror styles

resource/css/_admin.scss

@@ -1,7 +1,7 @@
 // import crowi variable
 @import 'utilities';
 
-.crowi { // {{{
+.crowi {
 
   .admin-user-menu {
     .dropdown-menu {
@@ -15,40 +15,40 @@
       padding: .5em;
       background-color: #ddd;
     }
-  }
-
-  // Toggle Twitter Bootstrap button class when active
-  // https://jsfiddle.net/ms040m01/3/
-  .btn-group.btn-toggle {
-    .btn.active[data-active-class="primary"] {
-      color: $btn-primary-color;
-      background-color: darken($btn-primary-bg, 10%);
-      border-color: $btn-primary-border;
 
-      &:hover {
-        background-color: darken($btn-primary-bg, 15%);
+    // Toggle Twitter Bootstrap button class when active
+    // https://jsfiddle.net/ms040m01/3/
+    .btn-group.btn-toggle {
+      .btn.active[data-active-class="primary"] {
+        color: $btn-primary-color;
+        background-color: darken($btn-primary-bg, 10%);
+        border-color: $btn-primary-border;
+
+        &:hover {
+          background-color: darken($btn-primary-bg, 15%);
+        }
       }
     }
-  }
 
-  .table-user-list {
-    .label-admin {
-      margin-left: 1em;
+    .table-user-list {
+      .label-admin {
+        margin-left: 1em;
+      }
     }
-  }
 
-  // override CodeMirror styles
-  .CodeMirror pre {
-    font-family: $font-family-monospace;
-  }
+    // override CodeMirror styles
+    .CodeMirror pre {
+      font-family: $font-family-monospace;
+    }
 
-  .passport-logo {
-    padding: 4px;
-    height: 32px;
-    background-color: black;
-  }
+    .passport-logo {
+      padding: 4px;
+      height: 32px;
+      background-color: black;
+    }
 
-  .auth-mechanism-configurations {
-    min-height: 800px;
+    .auth-mechanism-configurations {
+      min-height: 800px;
+    }
   }
-} // }}}
+}

resource/css/_form.scss

@@ -63,6 +63,11 @@
 
   .page-editor-editor-container {
     border-right: 1px solid #ccc;
+
+    // override CodeMirror styles
+    .CodeMirror pre {
+      font-family: $font-family-monospace-not-strictly;
+    }
   }
   .page-editor-preview-container {
   }
@@ -74,7 +79,6 @@
   }
 
   .form-group.form-submit-group {
-
     position: fixed;
     z-index: 1054;
     bottom: 0;