upstream/ipython Files · IPython/html/static/base/less/flexbox.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.

MinRK - - Load All Authors

File last commit:

r11033:fa36e98f


                r13694:24e10561

Download file

             flexbox.less
        
                    105 lines
            
             | 1.5 KiB
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / flexbox.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      /* Flexible box model classes */

      /* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */

      .hbox {

      	display: -webkit-box;

      	-webkit-box-orient: horizontal;

      	-webkit-box-align: stretch;

      	display: -moz-box;

      	-moz-box-orient: horizontal;

      	-moz-box-align: stretch;

      	display: box;

      	box-orient: horizontal;

      	box-align: stretch;

      }

      .hbox > * {

      	-webkit-box-flex: 0;

      	-moz-box-flex: 0;

      	box-flex: 0;

      }

      .vbox {

      	display: -webkit-box;

      	-webkit-box-orient: vertical;

      	-webkit-box-align: stretch;

      	display: -moz-box;

      	-moz-box-orient: vertical;

      	-moz-box-align: stretch;

      	display: box;

      	box-orient: vertical;

      	box-align: stretch;

      	/* width must be 100% to force FF to behave like webkit */

      	width: 100%;

      }

      .vbox > * {

      	-webkit-box-flex: 0;

      	-moz-box-flex: 0;

      	box-flex: 0;

      }

      .reverse {

      	-webkit-box-direction: reverse;

      	-moz-box-direction: reverse;

      	box-direction: reverse;

      }

      .box-flex0 {

      	-webkit-box-flex: 0;

      	-moz-box-flex: 0;

      	box-flex: 0;

      }

      .box-flex1 {

      	-webkit-box-flex: 1;

      	-moz-box-flex: 1;

      	box-flex: 1;

      }

      .box-flex {

          .box-flex1();

      }

      .box-flex2 {

      	-webkit-box-flex: 2;

      	-moz-box-flex: 2;

      	box-flex: 2;

      }

      .box-group1 {

      	-webkit-box-flex-group: 1;

      	-moz-box-flex-group: 1;

      	box-flex-group: 1;

      }

      .box-group2 {

      	-webkit-box-flex-group: 2;

      	-moz-box-flex-group: 2;

      	box-flex-group: 2;

      }

      .start {

      	-webkit-box-pack: start;

      	-moz-box-pack: start;

      	box-pack: start;

      }

      .end {

      	-webkit-box-pack: end;

      	-moz-box-pack: end;

      	box-pack: end;

      }

      .center {

      	-webkit-box-pack: center;

      	-moz-box-pack: center;

      	box-pack: center;

      }

	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


				/* Flexible box model classes */
				/* Taken from Alex Russell http://infrequently.org/2009/08/css-3-progress/ */

				.hbox {
				display: -webkit-box;
				-webkit-box-orient: horizontal;
				-webkit-box-align: stretch;

				display: -moz-box;
				-moz-box-orient: horizontal;
				-moz-box-align: stretch;

				display: box;
				box-orient: horizontal;
				box-align: stretch;
				}

				.hbox > * {
				-webkit-box-flex: 0;
				-moz-box-flex: 0;
				box-flex: 0;
				}

				.vbox {
				display: -webkit-box;
				-webkit-box-orient: vertical;
				-webkit-box-align: stretch;

				display: -moz-box;
				-moz-box-orient: vertical;
				-moz-box-align: stretch;

				display: box;
				box-orient: vertical;
				box-align: stretch;
				/* width must be 100% to force FF to behave like webkit */
				width: 100%;
				}

				.vbox > * {
				-webkit-box-flex: 0;
				-moz-box-flex: 0;
				box-flex: 0;
				}

				.reverse {
				-webkit-box-direction: reverse;
				-moz-box-direction: reverse;
				box-direction: reverse;
				}

				.box-flex0 {
				-webkit-box-flex: 0;
				-moz-box-flex: 0;
				box-flex: 0;
				}

				.box-flex1 {
				-webkit-box-flex: 1;
				-moz-box-flex: 1;
				box-flex: 1;
				}

				.box-flex {
				.box-flex1();
				}



				.box-flex2 {
				-webkit-box-flex: 2;
				-moz-box-flex: 2;
				box-flex: 2;
				}

				.box-group1 {
				-webkit-box-flex-group: 1;
				-moz-box-flex-group: 1;
				box-flex-group: 1;
				}

				.box-group2 {
				-webkit-box-flex-group: 2;
				-moz-box-flex-group: 2;
				box-flex-group: 2;
				}

				.start {
				-webkit-box-pack: start;
				-moz-box-pack: start;
				box-pack: start;
				}

				.end {
				-webkit-box-pack: end;
				-moz-box-pack: end;
				box-pack: end;
				}

				.center {
				-webkit-box-pack: center;
				-moz-box-pack: center;
				box-pack: center;
				}