|
614 | 614 | .tool-shelf { |
615 | 615 | flex: 0 0 auto; |
616 | 616 | justify-content: space-between; |
617 | | - // A precaution in case the variables above somehow fail |
618 | | - max-width: var(--columns-width-max); |
619 | 617 |
|
620 | 618 | .tools { |
621 | 619 | flex: 0 1 auto; |
622 | 620 |
|
| 621 | + // Disabled because Firefox appears to have switched to using overlay scrollbars which float atop the content and don't affect the layout (as of FF 135 on Windows). |
| 622 | + // We'll keep this here in case it's needed in the future. |
| 623 | + // |
623 | 624 | // Firefox-specific workaround for this bug causing the scrollbar to cover up the toolbar instead of widening to accommodate the scrollbar: |
624 | 625 | // <https://bugzilla.mozilla.org/show_bug.cgi?id=764076> |
625 | 626 | // <https://stackoverflow.com/questions/63278303/firefox-does-not-take-vertical-scrollbar-width-into-account-when-calculating-par> |
626 | 627 | // Remove this when the Firefox bug is fixed. |
627 | | - @-moz-document url-prefix() { |
628 | | - --available-height-plus-1: calc(var(--available-height) + 1px); |
629 | | - --3-col-required-height: calc(var(--total-tool-rows-for-3-columns) * calc(var(--tool-width) * 1px) + var(--total-separators) * var(--separator-height)); |
630 | | - --overflows-with-3-columns: calc(1px - clamp(0px, calc((var(--available-height-plus-1) - Min(var(--available-height-plus-1), var(--3-col-required-height))) * 1000000), 1px)); |
631 | | - --firefox-scrollbar-width-space-occupied: 8; // Might change someday, or on different platforms, but this is the value in FF 120 on Windows |
632 | | - padding-right: calc(var(--firefox-scrollbar-width-space-occupied) * var(--overflows-with-3-columns)); |
633 | | - } |
| 628 | + // @-moz-document url-prefix() { |
| 629 | + // --available-height-plus-1: calc(var(--available-height) + 1px); |
| 630 | + // --3-col-required-height: calc(var(--total-tool-rows-for-3-columns) * calc(var(--tool-width) * 1px) + var(--total-separators) * var(--height-of-separator)); |
| 631 | + // --overflows-with-3-columns: calc(1px - clamp(0px, calc((var(--available-height-plus-1) - Min(var(--available-height-plus-1), var(--3-col-required-height))) * 1000000), 1px)); |
| 632 | + // --firefox-scrollbar-width-space-occupied: 2; // Might change someday, or on different platforms, but this is the value in FF 120 on Windows |
| 633 | + // padding-right: calc(var(--firefox-scrollbar-width-space-occupied) * var(--overflows-with-3-columns)); |
| 634 | + // } |
634 | 635 |
|
635 | 636 | .widget-span { |
636 | 637 | flex-wrap: wrap; |
|
0 commit comments