+}
+
+
+.xml-iframe {
+ margin-left: 40px;
+}
+
+/*
+ * CodeMirror
+ */
+.CodeMirror-line-numbers {
+ background: #e6ddd5;
+ padding-top: 0.35em;
+}
+
+.CodeMirror-line-numbers div {
+ padding: 0;
+ padding-right: 4px;
+
+ font-size: 8pt;
+ line-height: 17px;
+ text-align: right;
+
+ width: 40px;
+}
+
\ No newline at end of file