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

remove some custom css...

remove some custom css mainly in navbars, where we were doing custom things that bootstrap already did with classes. This did require the removal of multiple class LESS inheritance for navbar buttons, because it doesn't work properly. Seems like a LESS bug, but I'm not sure.

Thomas Kluyver - - Load All Authors

File last commit:

r18493:1ba04ac3


                r19298:d8390523

Download file

             terminal.less
        
                    17 lines
            
             | 279 B
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / terminal.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      .terminal {

        float: left;

        border: black solid 5px;

        font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;

        font-size: 11px;

        color: white;

        background: black;

      }

      .terminal-cursor {

        color: black;

        background: white;

      }

      #terminado-container {

          margin: 8px;

      }

	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

				.terminal {
				float: left;
				border: black solid 5px;
				font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
				font-size: 11px;
				color: white;
				background: black;
				}

				.terminal-cursor {
				color: black;
				background: white;
				}

				#terminado-container {
				margin: 8px;
				}