diff -r 000000000000 -r 6474c204b198 browser/devtools/sourceeditor/codemirror/dialog/dialog.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/browser/devtools/sourceeditor/codemirror/dialog/dialog.css	Wed Dec 31 06:09:35 2014 +0100
@@ -0,0 +1,32 @@
+.CodeMirror-dialog {
+  position: absolute;
+  left: 0; right: 0;
+  background: white;
+  z-index: 15;
+  padding: .1em .8em;
+  overflow: hidden;
+  color: #333;
+}
+
+.CodeMirror-dialog-top {
+  border-bottom: 1px solid #eee;
+  top: 0;
+}
+
+.CodeMirror-dialog-bottom {
+  border-top: 1px solid #eee;
+  bottom: 0;
+}
+
+.CodeMirror-dialog input {
+  border: none;
+  outline: none;
+  background: transparent;
+  width: 20em;
+  color: inherit;
+  font-family: monospace;
+}
+
+.CodeMirror-dialog button {
+  font-size: 70%;
+}