5 commits

Author	SHA1	Message	Date
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