##// END OF EJS Templates
Backport PR #6483: Trim anchor link in heading cells, fixes #6324...
Backport PR #6483: Trim anchor link in heading cells, fixes #6324 This should fix #6324, which was really irritating me :smiley: I used `.trim()` as suggested by @minrk.

File last commit:

r15733:67701c01
r18067:bd94da54
Show More
variables.less
13 lines | 552 B | text/x-less | LessCssLexer
// Our own variables for this page
@cell_selected_background: darken(@bodyBackground, 2%);
@cell_background: darken(@bodyBackground, 3.2%);
@border_color: darken(@cell_selected_background, 31%);
@light_border_color: darken(@cell_selected_background, 17%);
@border_width: 1px;
@notebook_font_size: 14px;
@notebook_line_height: 20px;
@code_line_height: 1.21429em; // changed from 1.231 to get 17px even
@code_padding: 0.4em; // 5.6 px