upstream/ipython Files · IPython/html/static/tree/css/override.css

remove pagemain.js...

remove pagemain.js It does not seem to be usefull anymore. The different main.js of /tree /notebook /etc do create an instance of `page` themselves, error pages do have hardcoded styles that show header and sites.

Jonathan Frederic - - Load All Authors

File last commit:

r16957:7bf4a46d


                r17276:b2f35a66

Download file

             override.css
        
                    7 lines
            
             | 333 B
            
                | text/css
            
             |
                CssLexer
            
             / IPython / html / static / tree / css / override.css
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      /*This file contains any manual css for this page that needs to override the global styles.

      This is only required when different pages style the same element differently. This is just

      a hack to deal with our current css styles and no new styling should be added in this file.*/

      #ipython-main-app {

          margin: 28px auto 0px auto;

      }

	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

				/*This file contains any manual css for this page that needs to override the global styles.
				This is only required when different pages style the same element differently. This is just
				a hack to deal with our current css styles and no new styling should be added in this file.*/

				#ipython-main-app {
				margin: 28px auto 0px auto;
				}