##// END OF EJS Templates
Merge pull request #7181 from jhamrick/extension-traitlet...
Merge pull request #7181 from jhamrick/extension-traitlet Add extension traitlet to force dotted names

File last commit:

r19305:30017139
r19474:7b625264 merge
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;
}