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

scrolling workaround for Firefox

Browse Source 
setting overflow-x: hidden on Firefox prevents
long input from growing the cell ever wider on Firefox.

CSS is only applied on Firefox
This commit is contained in:
Min RK 2015-02-10 17:32:47 -08:00
parent 4ec038db1b
commit 7bbdabdfd5
3 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -54,6 +54,14 @@ div.inner_cell {
.box-flex1(); .box-flex1();
} }
@-moz-document url-prefix() {
div.inner_cell {
// hack around FF bug causing cell to expand when lines are long
// instead of scrolling
overflow-x: hidden;
}
}
/* input_area and input_prompt must match in top border and margin for alignment */ /* input_area and input_prompt must match in top border and margin for alignment */
div.input_area { div.input_area {
border: 1px solid @light_border_color; border: 1px solid @light_border_color;

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

@ -420,6 +420,11 @@ div.inner_cell {
/* Modern browsers */ /* Modern browsers */
flex: 1; flex: 1;
} }
@-moz-document url-prefix() {
div.inner_cell {
overflow-x: hidden;
}
}
/* input_area and input_prompt must match in top border and margin for alignment */ /* input_area and input_prompt must match in top border and margin for alignment */
div.input_area { div.input_area {
border: 1px solid #cfcfcf; border: 1px solid #cfcfcf;

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

@ -9196,6 +9196,11 @@ div.inner_cell {
/* Modern browsers */ /* Modern browsers */
flex: 1; flex: 1;
} }
@-moz-document url-prefix() {
div.inner_cell {
overflow-x: hidden;
}
}
/* input_area and input_prompt must match in top border and margin for alignment */ /* input_area and input_prompt must match in top border and margin for alignment */
div.input_area { div.input_area {
border: 1px solid #cfcfcf; border: 1px solid #cfcfcf;