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