##// END OF EJS Templates
Merge pull request #8272 from minrk/utils-data...
Merge pull request #8272 from minrk/utils-data remove use of utils.data outside IPython

File last commit:

r20208:ae5abcb6
r21182:b3916ddc merge
Show More
edit.less
51 lines | 950 B | text/x-less | LessCssLexer
Bussonnier Matthias
[editor] mark unsaved changes...
r20208 .dirty-indicator{
.fa();
width:20px;
}
.dirty-indicator-dirty{
.dirty-indicator();
}
.dirty-indicator-clean{
.dirty-indicator();
&:before{
.icon(@fa-var-check);
}
}
Min RK
basic LESS for editor
r19305
#filename {
font-size: 16pt;
display: table;
padding: 0px 5px;
}
Jonathan Frederic
Improve edit app
r19660
Bussonnier Matthias
re-hook notification area for editor....
r20149 #current-mode{
padding-left: 5px;
padding-right: 5px;
}
Jonathan Frederic
Improve edit app
r19660 #texteditor-backdrop {
padding-top: @page-header-padding;
padding-bottom: @page-header-padding;
@media not print{
background-color: @page-backdrop-color;
}
#texteditor-container {
Jonathan Frederic
Review comments
r19664 .CodeMirror-gutter, .CodeMirror-gutters {
Jonathan Frederic
Improve edit app
r19660 @media print {
background-color: @body-bg;
}
@media not print {
background-color: @page-color;
}
}
@media not print{
Jonathan Frederic
Remove padding on editor
r19662 padding: 0px;
Jonathan Frederic
Improve edit app
r19660 background-color : @page-color;
.box-shadow(@global-shadow);
}
}
}