--- a/wp/wp-content/plugins/portfolio/bws_menu/css/codemirror.css Wed Sep 21 18:19:35 2022 +0200
+++ b/wp/wp-content/plugins/portfolio/bws_menu/css/codemirror.css Tue Sep 27 16:37:53 2022 +0200
@@ -1,63 +1,63 @@
/* custom */
.CodeMirror span.bws-readonly {
- color: #aaa;
+ color: #aaa;
}
/* BASICS */
.CodeMirror {
- /* Set height, width, borders, and global font properties here */
- font-family: monospace;
- height: 500px;
- border: 1px solid #ddd;
+ /* Set height, width, borders, and global font properties here */
+ font-family: monospace;
+ height: 500px;
+ border: 1px solid #ddd;
}
.CodeMirror-scroll {
- /* Set scrolling behaviour here */
- overflow: auto;
+ /* Set scrolling behaviour here */
+ overflow: auto;
}
/* PADDING */
.CodeMirror-lines {
- padding: 4px 0; /* Vertical padding around content */
+ padding: 4px 0; /* Vertical padding around content */
}
.CodeMirror pre {
- padding: 0 4px; /* Horizontal padding of content */
+ padding: 0 4px; /* Horizontal padding of content */
}
.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
- background-color: white; /* The little square between H and V scrollbars */
+ background-color: white; /* The little square between H and V scrollbars */
}
/* GUTTER */
.CodeMirror-gutters {
- border-right: 1px solid #ddd;
- background-color: #f7f7f7;
- white-space: nowrap;
+ border-right: 1px solid #ddd;
+ background-color: #f7f7f7;
+ white-space: nowrap;
}
.CodeMirror-linenumbers {}
.CodeMirror-linenumber {
- padding: 0 3px 0 5px;
- min-width: 20px;
- text-align: right;
- color: #999;
- -moz-box-sizing: content-box;
- box-sizing: content-box;
+ padding: 0 3px 0 5px;
+ min-width: 20px;
+ text-align: right;
+ color: #999;
+ -moz-box-sizing: content-box;
+ box-sizing: content-box;
}
/* CURSOR */
.CodeMirror div.CodeMirror-cursor {
- border-left: 1px solid black;
+ border-left: 1px solid black;
}
/* Shown when moving in bi-directional text */
.CodeMirror div.CodeMirror-secondarycursor {
- border-left: 1px solid silver;
+ border-left: 1px solid silver;
}
.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor {
- width: auto;
- border: 0;
- background: #7e7;
+ width: auto;
+ border: 0;
+ background: #7e7;
}
/* Can style cursor different in overwrite (non-insert) mode */
div.CodeMirror-overwrite div.CodeMirror-cursor {}
@@ -65,8 +65,8 @@
.cm-tab { display: inline-block; }
.CodeMirror-ruler {
- border-left: 1px solid #ccc;
- position: absolute;
+ border-left: 1px solid #ccc;
+ position: absolute;
}
/* DEFAULT THEME */
@@ -110,155 +110,155 @@
/* STOP */
/* The rest of this file contains styles related to the mechanics of
- the editor. You probably shouldn't touch them. */
+ the editor. You probably shouldn't touch them. */
.CodeMirror {
- line-height: 1;
- position: relative;
- overflow: hidden;
- background: white;
- color: black;
+ line-height: 1;
+ position: relative;
+ overflow: hidden;
+ background: white;
+ color: black;
}
.CodeMirror-scroll {
- /* 30px is the magic margin used to hide the element's real scrollbars */
- /* See overflow: hidden in .CodeMirror */
- margin-bottom: -30px; margin-right: -30px;
- padding-bottom: 30px;
- height: 100%;
- outline: none; /* Prevent dragging from highlighting the element */
- position: relative;
- -moz-box-sizing: content-box;
- box-sizing: content-box;
+ /* 30px is the magic margin used to hide the element's real scrollbars */
+ /* See overflow: hidden in .CodeMirror */
+ margin-bottom: -30px; margin-right: -30px;
+ padding-bottom: 30px;
+ height: 100%;
+ outline: none; /* Prevent dragging from highlighting the element */
+ position: relative;
+ -moz-box-sizing: content-box;
+ box-sizing: content-box;
}
.CodeMirror-sizer {
- position: relative;
- border-right: 30px solid transparent;
- -moz-box-sizing: content-box;
- box-sizing: content-box;
+ position: relative;
+ border-right: 30px solid transparent;
+ -moz-box-sizing: content-box;
+ box-sizing: content-box;
}
/* The fake, visible scrollbars. Used to force redraw during scrolling
- before actuall scrolling happens, thus preventing shaking and
- flickering artifacts. */
+ before actuall scrolling happens, thus preventing shaking and
+ flickering artifacts. */
.CodeMirror-vscrollbar, .CodeMirror-hscrollbar, .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
- position: absolute;
- z-index: 6;
- display: none;
+ position: absolute;
+ z-index: 6;
+ display: none;
}
.CodeMirror-vscrollbar {
- right: 0; top: 0;
- overflow-x: hidden;
- overflow-y: scroll;
+ right: 0; top: 0;
+ overflow-x: hidden;
+ overflow-y: scroll;
}
.CodeMirror-hscrollbar {
- bottom: 0; left: 0;
- overflow-y: hidden;
- overflow-x: scroll;
+ bottom: 0; left: 0;
+ overflow-y: hidden;
+ overflow-x: scroll;
}
.CodeMirror-scrollbar-filler {
- right: 0; bottom: 0;
+ right: 0; bottom: 0;
}
.CodeMirror-gutter-filler {
- left: 0; bottom: 0;
+ left: 0; bottom: 0;
}
.CodeMirror-gutters {
- position: absolute; left: 0; top: 0;
- padding-bottom: 30px;
- z-index: 3;
+ position: absolute; left: 0; top: 0;
+ padding-bottom: 30px;
+ z-index: 3;
}
.CodeMirror-gutter {
- white-space: normal;
- height: 100%;
- -moz-box-sizing: content-box;
- box-sizing: content-box;
- padding-bottom: 30px;
- margin-bottom: -32px;
- display: inline-block;
- /* Hack to make IE7 behave */
- *zoom:1;
- *display:inline;
+ white-space: normal;
+ height: 100%;
+ -moz-box-sizing: content-box;
+ box-sizing: content-box;
+ padding-bottom: 30px;
+ margin-bottom: -32px;
+ display: inline-block;
+ /* Hack to make IE7 behave */
+ *zoom:1;
+ *display:inline;
}
.CodeMirror-gutter-elt {
- position: absolute;
- cursor: default;
- z-index: 4;
+ position: absolute;
+ cursor: default;
+ z-index: 4;
}
.CodeMirror-lines {
- cursor: text;
+ cursor: text;
}
.CodeMirror pre {
- /* Reset some styles that the rest of the page might have set */
- -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
- border-width: 0;
- background: transparent;
- font-family: inherit;
- font-size: inherit;
- margin: 0;
- white-space: pre;
- word-wrap: normal;
- line-height: inherit;
- color: inherit;
- z-index: 2;
- position: relative;
- overflow: visible;
+ /* Reset some styles that the rest of the page might have set */
+ -moz-border-radius: 0; -webkit-border-radius: 0; border-radius: 0;
+ border-width: 0;
+ background: transparent;
+ font-family: inherit;
+ font-size: inherit;
+ margin: 0;
+ white-space: pre;
+ word-wrap: normal;
+ line-height: inherit;
+ color: inherit;
+ z-index: 2;
+ position: relative;
+ overflow: visible;
}
.CodeMirror-wrap pre {
- word-wrap: break-word;
- white-space: pre-wrap;
- word-break: normal;
+ word-wrap: break-word;
+ white-space: pre-wrap;
+ word-break: normal;
}
.CodeMirror-linebackground {
- position: absolute;
- left: 0; right: 0; top: 0; bottom: 0;
- z-index: 0;
+ position: absolute;
+ left: 0; right: 0; top: 0; bottom: 0;
+ z-index: 0;
}
.CodeMirror-linewidget {
- position: relative;
- z-index: 2;
- overflow: auto;
+ position: relative;
+ z-index: 2;
+ overflow: auto;
}
.CodeMirror-widget {}
.CodeMirror-wrap .CodeMirror-scroll {
- overflow-x: hidden;
+ overflow-x: hidden;
}
.CodeMirror-measure {
- position: absolute;
- width: 100%;
- height: 0;
- overflow: hidden;
- visibility: hidden;
+ position: absolute;
+ width: 100%;
+ height: 0;
+ overflow: hidden;
+ visibility: hidden;
}
.CodeMirror-measure pre { position: static; }
.CodeMirror div.CodeMirror-cursor {
- position: absolute;
- border-right: none;
- width: 0;
+ position: absolute;
+ border-right: none;
+ width: 0;
}
div.CodeMirror-cursors {
- visibility: hidden;
- position: relative;
- z-index: 1;
+ visibility: hidden;
+ position: relative;
+ z-index: 1;
}
.CodeMirror-focused div.CodeMirror-cursors {
- visibility: visible;
+ visibility: visible;
}
.CodeMirror-selected { background: #d9d9d9; }
.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; }
.cm-searching {
- background: #ffa;
- background: rgba(255, 255, 0, .4);
+ background: #ffa;
+ background: rgba(255, 255, 0, .4);
}
/* IE7 hack to prevent it from returning funny offsetTops on the spans */
@@ -268,8 +268,8 @@
.cm-force-border { padding-right: .1px; }
@media print {
- /* Hide the cursor when printing */
- .CodeMirror div.CodeMirror-cursors {
- visibility: hidden;
- }
+ /* Hide the cursor when printing */
+ .CodeMirror div.CodeMirror-cursors {
+ visibility: hidden;
+ }
}