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

Merge pull request from jdfreder/terminal-fixes...

Merge pull request from jdfreder/terminal-fixes Some UI design changes for the Notebook and associates

Jonathan Frederic - - Load All Authors

File last commit:

r19668:30230e59


                r19701:10bcecd7

Download file

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

      .terminal {

        float: left;

        font-family: monospace;

        color: white;

        background: black;

        padding: @code_padding;

        border-radius: @border-radius-base;

        .box-shadow(@global-shadow-dark);

        &, dummy-screen {

          line-height: 1em;

          font-size: @notebook_font_size;

        }

      }

      .terminal-cursor {

        color: black;

        background: white;

      }

      #terminado-container {

        margin-top: @page-header-padding;

      }

	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;
				font-family: monospace;
				color: white;
				background: black;
				padding: @code_padding;
				border-radius: @border-radius-base;
				.box-shadow(@global-shadow-dark);

				&, dummy-screen {
				line-height: 1em;
				font-size: @notebook_font_size;
				}
				}

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

				#terminado-container {
				margin-top: @page-header-padding;
				}