upstream/ipython Files · IPython/html/static/terminal/less/terminal.less

Reverse hscrollbar min-height hack on OS X...

Reverse hscrollbar min-height hack on OS X OS X has optional behavior to only draw scrollbars during scroll, which causes problems for CodeMirror's scrollbars. CodeMirror's solution is to set a minimum size for their scrollbars, which is always present. The trade is that the container overlays most of the last line, swallowing click events when there is scrolling to do, even when no scrollbar is visible. This reverses the trade, recovering the click events at the expense of never showing the horizontal scrollbar on OS X when this option is enabled.

Jonathan Frederic - - Load All Authors

File last commit:

r19814:eb27a16e


                r20298:2907e856

Download file

             terminal.less
        
                    32 lines
            
             | 567 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / terminal / less / terminal.less
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Jonathan Frederic
    
Remove superfluous body tag from terminal less

              r19767
            
      .terminal-app {

        Jonathan Frederic
    
Use page backdrop with the terminal

              r19757
            
        background: @page-backdrop-color;

        Jonathan Frederic
    
Make terminal pretty

              r19649
            
        Jonathan Frederic
    
Use page backdrop with the terminal

              r19757
            
        #header {

          background: @body-bg;

          .box-shadow(@global-shadow);

        Jonathan Frederic
    
Make terminal pretty

              r19649
            
        }

        Bussonnier Matthias
    
recompute dummy size dynamically + styling in css

              r18489
            
        Jonathan Frederic
    
Use page backdrop with the terminal

              r19757
            
        .terminal {

          float: left;

          font-family: monospace;

          color: white;

          background: black;

          padding: @code_padding;

          border-radius: @border-radius-base;

          .box-shadow(@global-shadow-dark);

          &, dummy-screen {

            line-height: 1em;

            font-size: @notebook_font_size;

          }

        }

        .terminal-cursor {

          color: black;

          background: white;

        }

        Thomas Kluyver
    
Move terminal CSS into LESS file

              r18493
            
        Jonathan Frederic
    
Use page backdrop with the terminal

              r19757
            
        #terminado-container {

          margin-top: @page-header-padding;

        }

        Thomas Kluyver
    
Move terminal CSS into LESS file

              r18493
            
      }

	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

Jonathan Frederic Remove superfluous body tag from terminal less	r19767	.terminal-app {
Jonathan Frederic Use page backdrop with the terminal	r19757	background: @page-backdrop-color;
Jonathan Frederic Make terminal pretty	r19649
Jonathan Frederic Use page backdrop with the terminal	r19757	#header {
		background: @body-bg;
		.box-shadow(@global-shadow);
Jonathan Frederic Make terminal pretty	r19649	}
Bussonnier Matthias recompute dummy size dynamically + styling in css	r18489
Jonathan Frederic Use page backdrop with the terminal	r19757	.terminal {
		float: left;
		font-family: monospace;
		color: white;
		background: black;
		padding: @code_padding;
		border-radius: @border-radius-base;
		.box-shadow(@global-shadow-dark);

		&, dummy-screen {
		line-height: 1em;
		font-size: @notebook_font_size;
		}
		}

		.terminal-cursor {
		color: black;
		background: white;
		}
Thomas Kluyver Move terminal CSS into LESS file	r18493
Jonathan Frederic Use page backdrop with the terminal	r19757	#terminado-container {
		margin-top: @page-header-padding;
		}
Thomas Kluyver Move terminal CSS into LESS file	r18493	}