1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/browser/devtools/sourceeditor/codemirror/dialog/dialog.css Wed Dec 31 06:09:35 2014 +0100 1.3 @@ -0,0 +1,32 @@ 1.4 +.CodeMirror-dialog { 1.5 + position: absolute; 1.6 + left: 0; right: 0; 1.7 + background: white; 1.8 + z-index: 15; 1.9 + padding: .1em .8em; 1.10 + overflow: hidden; 1.11 + color: #333; 1.12 +} 1.13 + 1.14 +.CodeMirror-dialog-top { 1.15 + border-bottom: 1px solid #eee; 1.16 + top: 0; 1.17 +} 1.18 + 1.19 +.CodeMirror-dialog-bottom { 1.20 + border-top: 1px solid #eee; 1.21 + bottom: 0; 1.22 +} 1.23 + 1.24 +.CodeMirror-dialog input { 1.25 + border: none; 1.26 + outline: none; 1.27 + background: transparent; 1.28 + width: 20em; 1.29 + color: inherit; 1.30 + font-family: monospace; 1.31 +} 1.32 + 1.33 +.CodeMirror-dialog button { 1.34 + font-size: 70%; 1.35 +}