The Tor Browser / file comparison
comparison: browser/devtools/sourceeditor/codemirror/mozilla.css
browser/devtools/sourceeditor/codemirror/mozilla.css
- branch
- TOR_BUG_9701
- changeset 15
- b8a032363ba2
equal
deleted
inserted
replaced
| -1:000000000000 | 0:09faae8464f1 |
|---|---|
| 1 /* This Source Code Form is subject to the terms of the Mozilla Public | |
| 2 * License, v. 2.0. If a copy of the MPL was not distributed with this | |
| 3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ | |
| 4 | |
| 5 .errors, | |
| 6 .breakpoints { | |
| 7 width: 16px; | |
| 8 } | |
| 9 | |
| 10 .error, .breakpoint, .debugLocation, .breakpoint-debugLocation { | |
| 11 display: inline-block; | |
| 12 margin-left: 5px; | |
| 13 width: 12px; | |
| 14 height: 12px; | |
| 15 background-repeat: no-repeat; | |
| 16 background-position: center; | |
| 17 background-size: contain; | |
| 18 } | |
| 19 | |
| 20 .error { | |
| 21 background-image: url("chrome://browser/skin/devtools/editor-error.png"); | |
| 22 opacity: 0.75; | |
| 23 } | |
| 24 | |
| 25 .breakpoint { | |
| 26 background-image: url("chrome://browser/skin/devtools/editor-breakpoint.png"); | |
| 27 } | |
| 28 | |
| 29 .debugLocation { | |
| 30 background-image: url("chrome://browser/skin/devtools/editor-debug-location.png"); | |
| 31 } | |
| 32 | |
| 33 .breakpoint.debugLocation { | |
| 34 background-image: | |
| 35 url("chrome://browser/skin/devtools/editor-debug-location.png"), | |
| 36 url("chrome://browser/skin/devtools/editor-breakpoint.png"); | |
| 37 } | |
| 38 | |
| 39 .CodeMirror { | |
| 40 cursor: text; | |
| 41 } | |
| 42 | |
| 43 .CodeMirror-gutters { | |
| 44 cursor: default; | |
| 45 } | |
| 46 | |
| 47 /* This is to avoid the fake horizontal scrollbar div of codemirror to go 0 | |
| 48 height when floating scrollbars are active. Make sure that this value is equal | |
| 49 to the maximum of `min-height` specific to the `scrollbar[orient="horizontal"]` | |
| 50 selector in floating-scrollbar-light.css across all platforms. */ | |
| 51 .CodeMirror-hscrollbar { | |
| 52 min-height: 10px; | |
| 53 } | |
| 54 | |
| 55 /* This is to avoid the fake vertical scrollbar div of codemirror to go 0 | |
| 56 width when floating scrollbars are active. Make sure that this value is equal | |
| 57 to the maximum of `min-width` specific to the `scrollbar[orient="vertical"]` | |
| 58 selector in floating-scrollbar-light.css across all platforms. */ | |
| 59 .CodeMirror-vscrollbar { | |
| 60 min-width: 10px; | |
| 61 } | |
| 62 | |
| 63 .cm-trailingspace { | |
| 64 background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg=="); | |
| 65 opacity: 0.75; | |
| 66 background-position: left bottom; | |
| 67 background-repeat: repeat-x; | |
| 68 } | |
| 69 | |
| 70 /* CodeMirror dialogs styling */ | |
| 71 | |
| 72 .CodeMirror-dialog { | |
| 73 padding: 4px 3px; | |
| 74 } | |
| 75 | |
| 76 .CodeMirror-dialog, | |
| 77 .CodeMirror-dialog input { | |
| 78 font: message-box; | |
| 79 } | |
| 80 | |
| 81 /* Fold addon */ | |
| 82 | |
| 83 .CodeMirror-foldmarker { | |
| 84 color: blue; | |
| 85 text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px; | |
| 86 font-family: sans-serif; | |
| 87 line-height: .3; | |
| 88 cursor: pointer; | |
| 89 } | |
| 90 | |
| 91 .CodeMirror-foldgutter { | |
| 92 width: 16px; /* Same as breakpoints gutter above */ | |
| 93 } | |
| 94 | |
| 95 .CodeMirror-foldgutter-open, | |
| 96 .CodeMirror-foldgutter-folded { | |
| 97 color: #555; | |
| 98 cursor: pointer; | |
| 99 } | |
| 100 | |
| 101 .CodeMirror-foldgutter-open:after { | |
| 102 font-size: 120%; | |
| 103 content: "\25BE"; | |
| 104 } | |
| 105 | |
| 106 .CodeMirror-foldgutter-folded:after { | |
| 107 font-size: 120%; | |
| 108 content: "\25B8"; | |
| 109 } |
