michael@0: .CodeMirror-dialog {
michael@0:   position: absolute;
michael@0:   left: 0; right: 0;
michael@0:   background: white;
michael@0:   z-index: 15;
michael@0:   padding: .1em .8em;
michael@0:   overflow: hidden;
michael@0:   color: #333;
michael@0: }
michael@0: 
michael@0: .CodeMirror-dialog-top {
michael@0:   border-bottom: 1px solid #eee;
michael@0:   top: 0;
michael@0: }
michael@0: 
michael@0: .CodeMirror-dialog-bottom {
michael@0:   border-top: 1px solid #eee;
michael@0:   bottom: 0;
michael@0: }
michael@0: 
michael@0: .CodeMirror-dialog input {
michael@0:   border: none;
michael@0:   outline: none;
michael@0:   background: transparent;
michael@0:   width: 20em;
michael@0:   color: inherit;
michael@0:   font-family: monospace;
michael@0: }
michael@0: 
michael@0: .CodeMirror-dialog button {
michael@0:   font-size: 70%;
michael@0: }