##// END OF EJS Templates
fallback on 127.0.0.1 if localhost cannot be bound...
fallback on 127.0.0.1 if localhost cannot be bound Some (broken) systems cannot bind to localhost. This handles that failure and falls back to 127 as the default

File last commit:

r19660:8cdedfc0
r20593:b92b5a8c
Show More
variables.less
17 lines | 752 B | text/x-less | LessCssLexer
// Our own variables for this page
@cell_selected_background: darken(@body-bg, 2%);
@cell_background: darken(@body-bg, 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
@rendered_html_border_color: black;
@input_prompt_color: navy;
@output_prompt_color: darkred;
@output_pre_color: black;
@notification_widget_bg: rgba(240, 240, 240, 0.5);