##// END OF EJS Templates
Merge pull request #1825 from minrk/elide2...
Merge pull request #1825 from minrk/elide2 second attempt at scrolled long output Some amount of CSS tweaking will probably want to be done before 0.13 final, but this is good enough for beta. closes #1553

File last commit:

r5970:b6bb1663
r7614:ef57f6e2 merge
Show More
dialog.css
23 lines | 401 B | text/css | CssLexer
.CodeMirror-dialog {
position: relative;
}
.CodeMirror-dialog > div {
position: absolute;
top: 0; left: 0; right: 0;
background: white;
border-bottom: 1px solid #eee;
z-index: 15;
padding: .1em .8em;
overflow: hidden;
color: #333;
}
.CodeMirror-dialog input {
border: none;
outline: none;
background: transparent;
width: 20em;
color: inherit;
font-family: monospace;
}