Commit Graph

7 Commits (59cc36ca652ce71b59194166e6192e1609aa6f49)

Author SHA1 Message Date
David Baker 04b69116ee Fix tedious CSS stuff with stylelint --fix 2019-04-09 15:05:39 +01:00
David Baker eb6f3f6008 Fix up some CSS things stylelint was complaining about
And also disable a load of rules that feel like they're probably
causing more headaches than they fix.
2019-04-09 15:03:13 +01:00
Matthew Hodgson 84082ebb34 fix horizontal CSS scrollbars on webkit 2019-02-10 22:35:37 +00:00
Bruno Windels 5aff76b49d use css scrollbar styles to make native scrollbars prettier 2019-01-21 19:06:49 +01:00
Bruno Windels 0f226853f5 add scroll indicator gradients to top and bottom of room sub list 2018-11-12 12:57:21 +01:00
Bruno Windels c9dc273cb0 better native scrollbar width compensation for FF
instead of having to offset the padding of children of the
autohiding scrollbar container, which gets fiddly quickly,
add a new child to the scrollbar container that gets a negative
margin of the scrollbar width when needed
(on hover and overflowing when overlay is not supported).

This needs an extra DOM element, but as it doesn't do anything weird
layout-wise (like set position), it shouldn't affect styling at all.

It also makes the auto hide scrollbar workarounds completely transparent
to the rest of the code.
2018-11-06 11:37:49 +01:00
Bruno Windels 03781e1327 AutoHideScrollbar component
shows scrollbar on hover when needed
has fallback to overflow: overlay
and fiddling with padding to make content not jump on hover.
2018-11-01 16:32:17 +01:00