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

DEV: Allow CheckpointManagers to optimize for shared backends....

DEV: Allow CheckpointManagers to optimize for shared backends. On `create_checkpoint` and `restore_checkpoint`, pass a path and a `ContentsManager` to `CheckpointManager` instead of an already-loaded model. The `CheckpointManager` base class provides a correct implementation of these methods that's generic across any ContentsManager, but subclasses are free to specialize when the storage backend of `ContentsManager` is shared.

Matthias Bussonnier - - Load All Authors

File last commit:

r19716:3cc62b6a


                r19828:adba75fe

Download file

             variables.less
        
                    53 lines
            
             | 1.4 KiB
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / base / less / variables.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      // Our customizations to bootstrap go here.

      @black: #000;

      @text-color: @black;

      @font-size-base: 13px;

      @font-family-monospace: monospace;  // to allow user to customize their fonts

      @navbar-height: 30px;

      @breadcrumb-color: darken(@border_color, 30%);

      @blockquote-font-size: inherit;

      @modal-inner-padding: 15px;

      @grid-float-breakpoint: 540px;

      @logo_height: 28px;

      @border-radius-small: 1px;

      @border-radius-base: 2px;

      @border-radius-large: 3px;;

      @grid-gutter-width: 0px;

      // Disable modal slide-in from top animation.

      .modal {

        &.fade .modal-dialog {

          .translate(0, 0);

        }

      }

      // Set the default code color.

      code {

        color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)

      }

      // Override bootstrap pre element styling.

      pre {

        // bootstrap has pre defaults that we don't want to inherit.

        // start pre tag defaults based on the surrounding context instead.

        font-size: inherit;

        line-height: inherit;

      }

      // Disable bold labels in BS3

      label {

          font-weight: normal;

      }

      // Our own global variables for all pages go here

      @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);

      @global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);

      @page-header-padding: 20px;

      /* Make the page background atleast 100% the height of the view port */

      @page-backdrop-height: 100vh;

      /* Make the page itself atleast 70% the height of the view port */

      @page-min-height: 70vh;

      @page-backdrop-color: #EEE;

      @page-color: @body-bg;

      @page-padding: 15px;

	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

				// Our customizations to bootstrap go here.

				@black: #000;
				@text-color: @black;
				@font-size-base: 13px;
				@font-family-monospace: monospace; // to allow user to customize their fonts
				@navbar-height: 30px;
				@breadcrumb-color: darken(@border_color, 30%);
				@blockquote-font-size: inherit;
				@modal-inner-padding: 15px;
				@grid-float-breakpoint: 540px;
				@logo_height: 28px;
				@border-radius-small: 1px;
				@border-radius-base: 2px;
				@border-radius-large: 3px;;
				@grid-gutter-width: 0px;

				// Disable modal slide-in from top animation.
				.modal {
				&.fade .modal-dialog {
				.translate(0, 0);
				}
				}

				// Set the default code color.
				code {
				color: @black; // default code color in bootstrap is #d14 (crimson / amaranth)
				}

				// Override bootstrap pre element styling.
				pre {
				// bootstrap has pre defaults that we don't want to inherit.
				// start pre tag defaults based on the surrounding context instead.
				font-size: inherit;
				line-height: inherit;
				}

				// Disable bold labels in BS3
				label {
				font-weight: normal;
				}

				// Our own global variables for all pages go here
				@global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
				@global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
				@page-header-padding: 20px;
				/* Make the page background atleast 100% the height of the view port */
				@page-backdrop-height: 100vh;
				/* Make the page itself atleast 70% the height of the view port */
				@page-min-height: 70vh;
				@page-backdrop-color: #EEE;
				@page-color: @body-bg;
				@page-padding: 15px;