upstream/ipython Files · IPython/html/static/edit/less/menubar.less

Backport PR : autosave & reload on kernelspec switch...

Backport PR : autosave & reload on kernelspec switch when a custom kernel.js was defined, in which case reload is needed to ensure clean js state. closes

Bussonnier Matthias - - Load All Authors

File last commit:

r20149:1bf09c8a


                r21106:c00d848f

Download file

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

      .selected-keymap {

        i.fa {

          padding: 0px 5px;

        }

        i.fa:before {

          content: @fa-var-check;

        }

      }

      #mode-menu {

        // truncate mode-menu, so it doesn't get longer than the screen

        overflow: auto;

        max-height: 20em;

      }

      .edit_app {

        #header {

          .box-shadow(@global-shadow);

        }

        #menubar .navbar {

          /* Use a negative 1 bottom margin, so the border overlaps the border of the

          header */

          margin-bottom: -1px;

        }

      }

	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

				.selected-keymap {
				i.fa {
				padding: 0px 5px;
				}
				i.fa:before {
				content: @fa-var-check;
				}
				}

				#mode-menu {
				// truncate mode-menu, so it doesn't get longer than the screen
				overflow: auto;
				max-height: 20em;
				}

				.edit_app {
				#header {
				.box-shadow(@global-shadow);
				}

				#menubar .navbar {
				/* Use a negative 1 bottom margin, so the border overlaps the border of the
				header */
				margin-bottom: -1px;
				}
				}