upstream/ipython Files · IPython/html/static/base/less/mixins.less

Fix terminals with Tornado 3...

Fix terminals with Tornado 3 The websocket handler auth checking was calling clear_cookie(), which threw an error because it doesn't make sense for Websockets. It doesn't seem important, and we silence it in our other websocket handlers, so silencing it here too.

Jonathan Frederic - - Load All Authors

File last commit:

r16937:85c6f87f


                r18546:2b2243ed

Download file

             mixins.less
        
                    19 lines
            
             | 289 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / mixins.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // Mixin CSS classes

      .border-box-sizing {

          box-sizing: border-box;

          -moz-box-sizing: border-box;

          -webkit-box-sizing: border-box;

      }

      .corner-all {

          border-radius: @border-radius-base;

      }

      .border-radius(@radius) {

        border-radius: @radius;

      }

      .no-padding {

          padding: 0px;

      }

	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

				// Mixin CSS classes

				.border-box-sizing {
				box-sizing: border-box;
				-moz-box-sizing: border-box;
				-webkit-box-sizing: border-box;
				}

				.corner-all {
				border-radius: @border-radius-base;
				}

				.border-radius(@radius) {
				border-radius: @radius;
				}

				.no-padding {
				padding: 0px;
				}