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

Adds configuration options to use Google Drive content manager...

Adds configuration options to use Google Drive content manager Adds the key contentmanager_js_source to webapp_settings that allows for specifying the content manager JavaScript source file. Also adds a NotebookManager subclass, ClientSideNotebookManager, which does minimal logic. This class is used when the JavaScript content manager doesn't use the Python notebook manager, but rather implements that logic client side, as is the case for the Google Drive based content manager. A sample command line that uses the Google Drive content manager, and the ClientSideNotebookManager, is ipython notebook --NotebookApp.webapp_settings="{'contentmanager_js_source': 'base/js/drive_contentmanager'}" --NotebookApp.notebook_manager_class="IPython.html.services.notebooks.clientsidenbmanager.ClientSideNotebookManager"

MinRK - - Load All Authors

File last commit:

r18415:ff589391


                r18639:28c27a69

Download file

             variables.less
        
                    39 lines
            
             | 921 B
            
                | 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: 36px;

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

      @blockquote-font-size: inherit;

      @modal-inner-padding: 15px;

      @grid-float-breakpoint: 540px;

      // 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

	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: 36px;
				@breadcrumb-color: darken(@border_color, 30%);
				@blockquote-font-size: inherit;
				@modal-inner-padding: 15px;
				@grid-float-breakpoint: 540px;

				// 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