Index: experimental/webtry/res/css/cm/codemirror.css |
diff --git a/experimental/webtry/res/css/cm/codemirror.css b/experimental/webtry/res/css/cm/codemirror.css |
deleted file mode 100644 |
index 5c40eb6f6973f701abc1bdad026b41afd15990a4..0000000000000000000000000000000000000000 |
--- a/experimental/webtry/res/css/cm/codemirror.css |
+++ /dev/null |
@@ -1,273 +0,0 @@ |
-/* BASICS */ |
- |
-.CodeMirror { |
- /* Set height, width, borders, and global font properties here */ |
- font-family: monospace; |
-} |
-.CodeMirror-scroll { |
- /* These settings combine to allow the code portion to automatically resize itself */ |
- height: auto; |
- |
- overflow-x: auto; |
- overflow-y: hidden; |
-} |
- |
-/* PADDING */ |
- |
-.CodeMirror-lines { |
- padding: 4px 0; /* Vertical padding around content */ |
-} |
-.CodeMirror pre { |
- padding: 0 4px; /* Horizontal padding of content */ |
-} |
- |
-.CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler { |
- 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; |
-} |
-.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; |
-} |
- |
-/* CURSOR */ |
- |
-.CodeMirror div.CodeMirror-cursor { |
- border-left: 1px solid black; |
-} |
-/* Shown when moving in bi-directional text */ |
-.CodeMirror div.CodeMirror-secondarycursor { |
- border-left: 1px solid silver; |
-} |
-.CodeMirror.cm-keymap-fat-cursor div.CodeMirror-cursor { |
- width: auto; |
- border: 0; |
- background: #7e7; |
-} |
-/* Can style cursor different in overwrite (non-insert) mode */ |
-div.CodeMirror-overwrite div.CodeMirror-cursor {} |
- |
-.cm-tab { display: inline-block; } |
- |
-.CodeMirror-ruler { |
- border-left: 1px solid #ccc; |
- position: absolute; |
-} |
- |
-/* DEFAULT THEME */ |
- |
-.cm-s-default .cm-keyword {color: #708;} |
-.cm-s-default .cm-atom {color: #219;} |
-.cm-s-default .cm-number {color: #164;} |
-.cm-s-default .cm-def {color: #00f;} |
-.cm-s-default .cm-variable, |
-.cm-s-default .cm-punctuation, |
-.cm-s-default .cm-property, |
-.cm-s-default .cm-operator {} |
-.cm-s-default .cm-variable-2 {color: #05a;} |
-.cm-s-default .cm-variable-3 {color: #085;} |
-.cm-s-default .cm-comment {color: #a50;} |
-.cm-s-default .cm-string {color: #a11;} |
-.cm-s-default .cm-string-2 {color: #f50;} |
-.cm-s-default .cm-meta {color: #555;} |
-.cm-s-default .cm-qualifier {color: #555;} |
-.cm-s-default .cm-builtin {color: #30a;} |
-.cm-s-default .cm-bracket {color: #997;} |
-.cm-s-default .cm-tag {color: #170;} |
-.cm-s-default .cm-attribute {color: #00c;} |
-.cm-s-default .cm-header {color: blue;} |
-.cm-s-default .cm-quote {color: #090;} |
-.cm-s-default .cm-hr {color: #999;} |
-.cm-s-default .cm-link {color: #00c;} |
- |
-.cm-negative {color: #d44;} |
-.cm-positive {color: #292;} |
-.cm-header, .cm-strong {font-weight: bold;} |
-.cm-em {font-style: italic;} |
-.cm-link {text-decoration: underline;} |
- |
-.cm-s-default .cm-error {color: #f00;} |
-.cm-invalidchar {color: #f00;} |
- |
-div.CodeMirror span.CodeMirror-matchingbracket {color: #0f0;} |
-div.CodeMirror span.CodeMirror-nonmatchingbracket {color: #f22;} |
-.CodeMirror-activeline-background {background: #e8f2ff;} |
- |
-/* STOP */ |
- |
-/* The rest of this file contains styles related to the mechanics of |
- the editor. You probably shouldn't touch them. */ |
- |
-.CodeMirror { |
- 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; |
- 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; |
-} |
- |
-/* The fake, visible scrollbars. Used to force redraw during scrolling |
- 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; |
-} |
-.CodeMirror-vscrollbar { |
- right: 0; top: 0; |
- overflow-x: hidden; |
- overflow-y: scroll; |
-} |
-.CodeMirror-hscrollbar { |
- bottom: 0; left: 0; |
- overflow-y: hidden; |
- overflow-x: scroll; |
-} |
-.CodeMirror-scrollbar-filler { |
- right: 0; bottom: 0; |
-} |
-.CodeMirror-gutter-filler { |
- left: 0; bottom: 0; |
-} |
- |
-.CodeMirror-gutters { |
- 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; |
-} |
-.CodeMirror-gutter-elt { |
- position: absolute; |
- cursor: default; |
- z-index: 4; |
-} |
- |
-.CodeMirror-lines { |
- 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; |
-} |
-.CodeMirror-wrap pre { |
- 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; |
-} |
- |
-.CodeMirror-linewidget { |
- position: relative; |
- z-index: 2; |
- overflow: auto; |
-} |
- |
-.CodeMirror-widget {} |
- |
-.CodeMirror-wrap .CodeMirror-scroll { |
- overflow-x: hidden; |
-} |
- |
-.CodeMirror-measure { |
- 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; |
-} |
- |
-div.CodeMirror-cursors { |
- visibility: hidden; |
- position: relative; |
- z-index: 1; |
-} |
-.CodeMirror-focused div.CodeMirror-cursors { |
- visibility: visible; |
-} |
- |
-.CodeMirror-selected { background: #d9d9d9; } |
-.CodeMirror-focused .CodeMirror-selected { background: #d7d4f0; } |
-.CodeMirror-crosshair { cursor: crosshair; } |
- |
-.cm-searching { |
- background: #ffa; |
- background: rgba(255, 255, 0, .4); |
-} |
- |
-/* IE7 hack to prevent it from returning funny offsetTops on the spans */ |
-.CodeMirror span { *vertical-align: text-bottom; } |
- |
-/* Used to force a border model for a node */ |
-.cm-force-border { padding-right: .1px; } |
- |
-@media print { |
- /* Hide the cursor when printing */ |
- .CodeMirror div.CodeMirror-cursors { |
- visibility: hidden; |
- } |
-} |