+}
+
+
+
+
+/*
+ * CodeMirror
+ */
+
+.CodeMirror-line-numbers {
+ padding: 0px;
+ padding-top: 5px;
+ text-align: right;
+ overflow: hidden;
+ width: 40px;
+ border-right: 1px solid black;
+ background-color: #e6e6fa;
+}
+
+.CodeMirror-line-numbers div {
+ display: block;
+ font-family:"Lucida Console", monospace;
+ font-size: 13px;
+ line-height: 18px;
+ padding-right: 5px;
+}
+
+
+/*
+ * HTML Editor view
+ */
+
+.htmlview {
+ z-index: 1;
+ overflow: hidden;
+}
+
+.htmlview *[x-editable] {
+ background-color: white;
+
+}
+.htmlview .active[x-editable] {
+ background-color: #FAFAFA;
+ border: 1px solid #DDD;
+/* -webkit-transition: all 1s linear;*/