upstream/ipython Files · IPython/html/static/notebook/less/variables.less

Backport PR : Catch interrupted poll() in terminal console...

Backport PR : Catch interrupted poll() in terminal console Alternative to my own PR - catch ZMQError in run_cell, and if it's caused by an interrupt, ignore it. catches the exception in the blocking kernel client API, which is more complex, especially if we want to handle the timeout nicely as proposed in the comments, but it's possibly also more convenient for other users of that API. Or perhaps not - I'm not sure what makes sense for other API consumers in this case. Fixes gh-8105

Jonathan Frederic - - Load All Authors

File last commit:

r19660:8cdedfc0


                r20883:0d9a347c

Download file

             variables.less
        
                    17 lines
            
             | 752 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / variables.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // 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);

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages


				// 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);