1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/browser/devtools/sourceeditor/codemirror/mozilla.css Wed Dec 31 06:09:35 2014 +0100
1.3 @@ -0,0 +1,109 @@
1.4 +/* This Source Code Form is subject to the terms of the Mozilla Public
1.5 + * License, v. 2.0. If a copy of the MPL was not distributed with this
1.6 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
1.7 +
1.8 +.errors,
1.9 +.breakpoints {
1.10 + width: 16px;
1.11 +}
1.12 +
1.13 +.error, .breakpoint, .debugLocation, .breakpoint-debugLocation {
1.14 + display: inline-block;
1.15 + margin-left: 5px;
1.16 + width: 12px;
1.17 + height: 12px;
1.18 + background-repeat: no-repeat;
1.19 + background-position: center;
1.20 + background-size: contain;
1.21 +}
1.22 +
1.23 +.error {
1.24 + background-image: url("chrome://browser/skin/devtools/editor-error.png");
1.25 + opacity: 0.75;
1.26 +}
1.27 +
1.28 +.breakpoint {
1.29 + background-image: url("chrome://browser/skin/devtools/editor-breakpoint.png");
1.30 +}
1.31 +
1.32 +.debugLocation {
1.33 + background-image: url("chrome://browser/skin/devtools/editor-debug-location.png");
1.34 +}
1.35 +
1.36 +.breakpoint.debugLocation {
1.37 + background-image:
1.38 + url("chrome://browser/skin/devtools/editor-debug-location.png"),
1.39 + url("chrome://browser/skin/devtools/editor-breakpoint.png");
1.40 +}
1.41 +
1.42 +.CodeMirror {
1.43 + cursor: text;
1.44 +}
1.45 +
1.46 +.CodeMirror-gutters {
1.47 + cursor: default;
1.48 +}
1.49 +
1.50 +/* This is to avoid the fake horizontal scrollbar div of codemirror to go 0
1.51 +height when floating scrollbars are active. Make sure that this value is equal
1.52 +to the maximum of `min-height` specific to the `scrollbar[orient="horizontal"]`
1.53 +selector in floating-scrollbar-light.css across all platforms. */
1.54 +.CodeMirror-hscrollbar {
1.55 + min-height: 10px;
1.56 +}
1.57 +
1.58 +/* This is to avoid the fake vertical scrollbar div of codemirror to go 0
1.59 +width when floating scrollbars are active. Make sure that this value is equal
1.60 +to the maximum of `min-width` specific to the `scrollbar[orient="vertical"]`
1.61 +selector in floating-scrollbar-light.css across all platforms. */
1.62 +.CodeMirror-vscrollbar {
1.63 + min-width: 10px;
1.64 +}
1.65 +
1.66 +.cm-trailingspace {
1.67 + background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAACCAYAAAB/qH1jAAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAB3RJTUUH3QUXCToH00Y1UgAAACFJREFUCNdjPMDBUc/AwNDAAAFMTAwMDA0OP34wQgX/AQBYgwYEx4f9lQAAAABJRU5ErkJggg==");
1.68 + opacity: 0.75;
1.69 + background-position: left bottom;
1.70 + background-repeat: repeat-x;
1.71 +}
1.72 +
1.73 +/* CodeMirror dialogs styling */
1.74 +
1.75 +.CodeMirror-dialog {
1.76 + padding: 4px 3px;
1.77 +}
1.78 +
1.79 +.CodeMirror-dialog,
1.80 +.CodeMirror-dialog input {
1.81 + font: message-box;
1.82 +}
1.83 +
1.84 +/* Fold addon */
1.85 +
1.86 +.CodeMirror-foldmarker {
1.87 + color: blue;
1.88 + text-shadow: #b9f 1px 1px 2px, #b9f -1px -1px 2px, #b9f 1px -1px 2px, #b9f -1px 1px 2px;
1.89 + font-family: sans-serif;
1.90 + line-height: .3;
1.91 + cursor: pointer;
1.92 +}
1.93 +
1.94 +.CodeMirror-foldgutter {
1.95 + width: 16px; /* Same as breakpoints gutter above */
1.96 +}
1.97 +
1.98 +.CodeMirror-foldgutter-open,
1.99 +.CodeMirror-foldgutter-folded {
1.100 + color: #555;
1.101 + cursor: pointer;
1.102 +}
1.103 +
1.104 +.CodeMirror-foldgutter-open:after {
1.105 + font-size: 120%;
1.106 + content: "\25BE";
1.107 +}
1.108 +
1.109 +.CodeMirror-foldgutter-folded:after {
1.110 + font-size: 120%;
1.111 + content: "\25B8";
1.112 +}
1.113 \ No newline at end of file
