##// END OF EJS Templates
Merge pull request #3208 from benjaminfjones/patch-1...
Merge pull request #3208 from benjaminfjones/patch-1 Update link to extensions index

File last commit:

r9367:1249a2fc
r10259:4d090de0 merge
Show More
style.less
7 lines | 202 B | text/x-less | LessCssLexer
Matthias BUSSONNIER
fix tooltip
r9367 @import "bootstrap-custom.less";
@import "variables.less";
Bussonnier Matthias
make file and other less
r9270 @import "flexible-box-model.less";
Bussonnier Matthias
generate style.css
r9267 @import "notebook.less";
@import "printnotebook.less";
@import "renderedhtml.less";
@import "tooltip.less";