Fixed issue #1292; terminal scrollbar may now be scrolled
* Removed div.terminal_bg whose purpose was to hold the background SVG, as this div was occluding the scrollbar, and instead set SVG as the background-image of div.terminal_container using CSS. * As CSS does not have a background-opacity directive, manually decoded, edited and re-encoded the SVGs (light, dark) so that all <g>s are wrapped in a top-level <g opacity="0.1"> * Improved the rules of how the background image resizespull/1/head
parent
6f8d0cc7e6
commit
3ccb0dbf51
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
Loading…
Reference in new issue