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

Jonathan Frederic - - Load All Authors

File last commit:

r19664:24be0d51


                r19828:adba75fe

Download file

             edit.less
        
                    34 lines
            
             | 772 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / edit / less / edit.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #filename {

          font-size: 16pt;

          display: table;

          padding: 0px 5px;

      }

      #texteditor-backdrop {

          padding-top: @page-header-padding;

          padding-bottom: @page-header-padding;

          @media not print{

              min-height: @page-backdrop-height;

              background-color: @page-backdrop-color;

          }

          #texteditor-container {

              .CodeMirror-gutter, .CodeMirror-gutters {

                  @media print {

                      background-color: @body-bg;

                  }

                  @media not print {

                      background-color: @page-color;

                  }

              }

              @media not print{

                  padding: 0px;

                  background-color :  @page-color;

                  min-height: @page-min-height;

                  .box-shadow(@global-shadow);

              }

          }

      }

	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


				#filename {
				font-size: 16pt;
				display: table;
				padding: 0px 5px;
				}

				#texteditor-backdrop {
				padding-top: @page-header-padding;
				padding-bottom: @page-header-padding;

				@media not print{
				min-height: @page-backdrop-height;
				background-color: @page-backdrop-color;
				}

				#texteditor-container {
				.CodeMirror-gutter, .CodeMirror-gutters {
				@media print {
				background-color: @body-bg;
				}
				@media not print {
				background-color: @page-color;
				}
				}

				@media not print{
				padding: 0px;
				background-color : @page-color;
				min-height: @page-min-height;
				.box-shadow(@global-shadow);
				}
				}
				}