##// END OF EJS Templates
make savewidget css a little more generic...
make savewidget css a little more generic - use classes instead of IDs - use .filename instead of #notebook_name

File last commit:

r19305:30017139
r19315:9e675c97
Show More
edit.less
9 lines | 139 B | text/x-less | LessCssLexer
#texteditor-container {
border-bottom: 1px solid #ccc;
}
#filename {
font-size: 16pt;
display: table;
padding: 0px 5px;
}