##// END OF EJS Templates
Add a comment that explains the notion of the default element...
Add a comment that explains the notion of the default element to be styled in set_css's' doc string.

File last commit:

r14093:2259a244
r14581:304e2e44
Show More
quickhelp.less
11 lines | 168 B | text/x-less | LessCssLexer
.shortcut_key {
display: inline-block;
width: 15ex;
text-align: right;
font-family: @monoFontFamily;
}
.shortcut_descr {
display: inline-block;
}