##// END OF EJS Templates
scrolling workaround for Firefox...
Min RK -
Show More
@@ -54,6 +54,14 b' div.inner_cell {'
54 .box-flex1();
54 .box-flex1();
55 }
55 }
56
56
57 @-moz-document url-prefix() {
58 div.inner_cell {
59 // hack around FF bug causing cell to expand when lines are long
60 // instead of scrolling
61 overflow-x: hidden;
62 }
63 }
64
57 /* input_area and input_prompt must match in top border and margin for alignment */
65 /* input_area and input_prompt must match in top border and margin for alignment */
58 div.input_area {
66 div.input_area {
59 border: 1px solid @light_border_color;
67 border: 1px solid @light_border_color;
@@ -420,6 +420,11 b' div.inner_cell {'
420 /* Modern browsers */
420 /* Modern browsers */
421 flex: 1;
421 flex: 1;
422 }
422 }
423 @-moz-document url-prefix() {
424 div.inner_cell {
425 overflow-x: hidden;
426 }
427 }
423 /* input_area and input_prompt must match in top border and margin for alignment */
428 /* input_area and input_prompt must match in top border and margin for alignment */
424 div.input_area {
429 div.input_area {
425 border: 1px solid #cfcfcf;
430 border: 1px solid #cfcfcf;
@@ -9196,6 +9196,11 b' div.inner_cell {'
9196 /* Modern browsers */
9196 /* Modern browsers */
9197 flex: 1;
9197 flex: 1;
9198 }
9198 }
9199 @-moz-document url-prefix() {
9200 div.inner_cell {
9201 overflow-x: hidden;
9202 }
9203 }
9199 /* input_area and input_prompt must match in top border and margin for alignment */
9204 /* input_area and input_prompt must match in top border and margin for alignment */
9200 div.input_area {
9205 div.input_area {
9201 border: 1px solid #cfcfcf;
9206 border: 1px solid #cfcfcf;
General Comments 0
You need to be logged in to leave comments. Login now