##// END OF EJS Templates
bring back cs id for node history in git as it improves performance. Adding format prevents from crashes of modified gitconfigs
bring back cs id for node history in git as it improves performance. Adding format prevents from crashes of modified gitconfigs

File last commit:

r1485:269905fa beta
r2089:a9f2aa1e 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;}