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

Merge pull request from ivanov/history-clear...

Merge pull request from ivanov/history-clear new `ipython history clear` subcommand This new subcommand is equivalent to ipython history trim --HistoryTrim.keep=0, which is now supported (and also has a more convenient --keep alias) This command comes with a fix to bash completion of flags for ipython history subcmd also included is a tiny fix for nbconvert completion that was pointed out by @jakobgager in also included is a change to our utils.io.ask_yes_no function that allows for specifying the behavior of a KeyboardInterrupt.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r13547:34cf349f


                r13694:24e10561

Download file

             mixins.less
        
                    11 lines
            
             | 197 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: @baseBorderRadius;

      }

	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: @baseBorderRadius;
				}