mirror/notebook
2
0
Fork 0
mirror of https://github.com/jupyter/notebook.git synced 2025-01-12 11:45:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #5843 from minrk/ff-css

Browse Source 
remove Firefox-specific CSS workaround
This commit is contained in:
Min RK 2014-05-15 10:55:03 -07:00
commit c7b357c750
3 changed files with 2 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
IPython/html/static/notebook/less/codemirror.less
View File

@ -22,14 +22,6 @@
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. */

2
IPython/html/static/style/ipython.min.css vendored
View File

@ -57,7 +57,7 @@ div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:
div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent}
.CodeMirror{line-height:1.21429em;height:auto;background:none;}
.CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
@-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
.CodeMirror-lines{padding:.4em}
.CodeMirror-linenumber{padding:0 8px 0 4px}
.CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
.CodeMirror pre{padding:0;border:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0}

2
IPython/html/static/style/style.min.css vendored
View File

@ -1362,7 +1362,7 @@ div.input_area>div.highlight{margin:.4em;border:none;padding:0;background-color:
div.input_area>div.highlight>pre{margin:0;border:none;padding:0;background-color:transparent}
.CodeMirror{line-height:1.21429em;height:auto;background:none;}
.CodeMirror-scroll{overflow-y:hidden;overflow-x:auto}
@-moz-document url-prefix(){.CodeMirror-scroll{overflow-x:hidden}}.CodeMirror-lines{padding:.4em}
.CodeMirror-lines{padding:.4em}
.CodeMirror-linenumber{padding:0 8px 0 4px}
.CodeMirror-gutters{border-bottom-left-radius:4px;border-top-left-radius:4px}
.CodeMirror pre{padding:0;border:0;border-radius:0;-webkit-border-radius:0;-moz-border-radius:0;border-radius:0}