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

Add an optional `default` argument to trait metadata get, like the Python dict's .get() default argument...

Add an optional `default` argument to trait metadata get, like the Python dict's .get() default argument After this, trait_metadata('traitname', 'metadata_key', DEFAULT) will return DEFAULT if the metadata key is not set. DEFAULT defaults to None, like the existing behavior and like the python dict .get() behavior.

Jonathan Frederic - - Load All Authors

File last commit:

r16937:85c6f87f


                r17673:1f9294c2

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;
				}