##// END OF EJS Templates
revert default to 20, for large repositories it's better to go less and have it faster....
revert default to 20, for large repositories it's better to go less and have it faster. This is still saved in user session so everyone can set high number and have it saved while logged in.

File last commit:

r1485:269905fa beta
r1864:baef43bc beta
Show More
codemirror.css
54 lines | 1.2 KiB | text/css | CssLexer
.CodeMirror {
overflow: auto;
height: 450px;
line-height: 1em;
font-family: monospace;
_position: relative; /* IE6 hack */
margin:20px;
}
.CodeMirror-gutter {
position: absolute; left: 0; top: 0;
background-color: #f7f7f7;
border-right: 1px solid #eee;
min-width: 2em;
height: 100%;
}
.CodeMirror-gutter-text {
color: #aaa;
text-align: right;
padding: .4em .2em .4em .4em;
}
.CodeMirror-lines {
padding: .4em;
}
.CodeMirror pre {
-moz-border-radius: 0;
-webkit-border-radius: 0;
-o-border-radius: 0;
border-radius: 0;
border-width: 0; margin: 0; padding: 0; background: transparent;
font-family: inherit;
}
.CodeMirror-cursor {
z-index: 10;
position: absolute;
visibility: hidden;
border-left: 1px solid black !important;
}
.CodeMirror-focused .CodeMirror-cursor {
visibility: visible;
}
span.CodeMirror-selected {
background: #ccc !important;
color: HighlightText !important;
}
.CodeMirror-focused span.CodeMirror-selected {
background: Highlight !important;
}
.CodeMirror-matchingbracket {color: #0f0 !important;}
.CodeMirror-nonmatchingbracket {color: #f22 !important;}
.CodeMirror-gutter-text{color: #003367 !important;}