upstream/ipython Files · IPython/html/static/notebook/less/pager.less

Persistence API,...

Persistence API, This is a combination of 10 commits. Enable widget instanciation from front-end. Address @minrk 's review comments. Make API that allows users to persist widget state easily. Added support for view persistence Started adding support for model persistence. Half way there! Finished persistence API. Move persistence code into the widget framework. Fin. Bug fixes

Jonathan Frederic - - Load All Authors

File last commit:

r19237:3c8e9741


                r19350:a8e5e600

Download file

             pager.less
        
                    51 lines
            
             | 1.1 KiB
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / pager.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      div#pager {

          background-color:   @body-bg;

          font-size: @notebook_font_size;

          line-height: @notebook_line_height;

          overflow: hidden;

          display: none;

          position: fixed;

          bottom: 0px;

          width: 100%;

          max-height: 50%;

          padding-top: 7px;

          /* Display over codemirror */

          z-index: 100;

          /* Hack which prevents jquery ui resizable from changing top. */

          top: inherit !important; 

          pre {

              line-height: @code_line_height;

              color: @text-color;

              background-color: @cell_background;

              padding: @code_padding;

          }

          #pager-button-area {

              position: absolute;

              top: 7px;

              right: 20px; 

          }

          #pager-contents {

              position: relative;

              overflow: auto;

              width: 100%;

              height: 100%;

              #pager-container {

                  position: relative;

                  padding: 15px 0px;

                  .border-box-sizing();

              }

          }

          .ui-resizable-handle {

              top: 0px;

              height: 7px;

              background: @light_border_color;

              border-bottom: 1px solid @border_color;

          }

      }

	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

				div#pager {
				background-color: @body-bg;
				font-size: @notebook_font_size;
				line-height: @notebook_line_height;
				overflow: hidden;
				display: none;
				position: fixed;
				bottom: 0px;
				width: 100%;
				max-height: 50%;
				padding-top: 7px;

				/* Display over codemirror */
				z-index: 100;

				/* Hack which prevents jquery ui resizable from changing top. */
				top: inherit !important;

				pre {
				line-height: @code_line_height;
				color: @text-color;
				background-color: @cell_background;
				padding: @code_padding;
				}

				#pager-button-area {
				position: absolute;
				top: 7px;
				right: 20px;
				}

				#pager-contents {
				position: relative;
				overflow: auto;
				width: 100%;
				height: 100%;

				#pager-container {
				position: relative;
				padding: 15px 0px;
				.border-box-sizing();
				}
				}

				.ui-resizable-handle {
				top: 0px;
				height: 7px;
				background: @light_border_color;
				border-bottom: 1px solid @border_color;
				}
				}