Merge pull request #535 from jasongrout/subarea-scroll

Make the subarea not have a scrollbar when the enclosing output area already provides scrollbars
Min RK 11 years ago
commit 932f85c759

@ -110,6 +110,11 @@ div.output_subarea {
max-width: calc(~"100% - 14ex");
}
div.output_scroll div.output_subarea {
// if the output area is scrolling, we don't need scrollbars on the subarea
overflow-x: visible;
}
/* The rest of the output_* classes are for special styling of the different
output types */

Loading…
Cancel
Save