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

Merge pull request from fperez/mpl-backends...

Merge pull request from fperez/mpl-backends Switch correctly to the user's default matplotlib backend after inline. If '%matplotlib inline' was called first, we'd incorrectly revert to inline when plain '%matplotlib' was called, instead of loading the user's default GUI. If the user called '%matplotlib' first (without 'inline') it worked correctly, but not in the other order. The fix is to read the backend from the original defaults, not from the runtime data structure. Requires matplotlib 1.1

juhasch - - Load All Authors

File last commit:

r12488:db68b5b9


                r12790:a562753f

Download file

             codemirror.less
        
                    58 lines
            
             | 2.0 KiB
            
                | text/x-less
            
             |
                LessCssLexer
            
             / IPython / html / static / notebook / less / codemirror.less
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      /* The following gets added to the <head> if it is detected that the user has a

       * monospace font with inconsistent normal/bold/italic height.  See

       * notebookmain.js.  Such fonts will have keywords vertically offset with

       * respect to the rest of the text.  The user should select a better font.

       * See: https://github.com/ipython/ipython/issues/1503

       *

       * .CodeMirror span {

       *      vertical-align: bottom;

       * }

       */

      .CodeMirror {

          line-height: @code_line_height;  /* Changed from 1em to our global default */

      	height: auto;     /* Changed to auto to autogrow */

      	background: none;  /* Changed from white to allow our bg to show through */

      }

      .CodeMirror-scroll {

          /*  The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/

          /*  We have found that if it is visible, vertical scrollbars appear with font size changes.*/

          overflow-y: hidden;

          overflow-x: auto;

      }

      @-moz-document url-prefix() {

        /* Firefox does weird and terrible things (#3549) when overflow-x is auto */

        /* It doesn't respect the overflow setting anyway, so we can workaround it with this */

        .CodeMirror-scroll {

          overflow-x: hidden;

        }

      }

      .CodeMirror-lines {

        /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */

        /* we have set a different line-height and want this to scale with that. */

        padding: 0.4em;

      }

      .CodeMirror-linenumber {

      	// This is needed to fine tune the position of the line numbers because we use the 0.4em

      	// spacing in various places. Fine tuned to look right.

        	padding: 0 8px 0 4px;

      }

      .CodeMirror-gutters {

        // This is needed because our cell has rounded corners, otherwise the gutter area square

        // corner cuts into the rounded cell border.

        border-bottom-left-radius: @corner_radius;

        border-top-left-radius: @corner_radius;

      }

      .CodeMirror pre {

      	/* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */

      	/* .CodeMirror-lines */

      	padding: 0;

      	border: 0;

      	.border-radius(0)

      }

	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

				/* The following gets added to the <head> if it is detected that the user has a
				* monospace font with inconsistent normal/bold/italic height. See
				* notebookmain.js. Such fonts will have keywords vertically offset with
				* respect to the rest of the text. The user should select a better font.
				* See: https://github.com/ipython/ipython/issues/1503
				*
				* .CodeMirror span {
				* vertical-align: bottom;
				* }
				*/

				.CodeMirror {
				line-height: @code_line_height; /* Changed from 1em to our global default */
				height: auto; /* Changed to auto to autogrow */
				background: none; /* Changed from white to allow our bg to show through */
				}

				.CodeMirror-scroll {
				/* The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
				/* We have found that if it is visible, vertical scrollbars appear with font size changes.*/
				overflow-y: hidden;
				overflow-x: auto;
				}

				@-moz-document url-prefix() {
				/* Firefox does weird and terrible things (#3549) when overflow-x is auto */
				/* It doesn't respect the overflow setting anyway, so we can workaround it with this */
				.CodeMirror-scroll {
				overflow-x: hidden;
				}
				}

				.CodeMirror-lines {
				/* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
				/* we have set a different line-height and want this to scale with that. */
				padding: 0.4em;
				}

				.CodeMirror-linenumber {
				// This is needed to fine tune the position of the line numbers because we use the 0.4em
				// spacing in various places. Fine tuned to look right.
				padding: 0 8px 0 4px;
				}

				.CodeMirror-gutters {
				// This is needed because our cell has rounded corners, otherwise the gutter area square
				// corner cuts into the rounded cell border.
				border-bottom-left-radius: @corner_radius;
				border-top-left-radius: @corner_radius;
				}

				.CodeMirror pre {
				/* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
				/* .CodeMirror-lines */
				padding: 0;
				border: 0;
				.border-radius(0)
				}