red_led 89f5d0d400

gui: Always show vertical scroll bar (#8301) ...

This stops interface from jumping left and right when page content no longer fits into screen.

2022-04-22 21:39:30 +02:00

..

dev.css

gui: Prevent log bar from flashing up while page is loading

2016-05-30 13:16:15 +00:00

overrides.css

gui: Always show vertical scroll bar (#8301)

2022-04-22 21:39:30 +02:00

theme.css

lib/api: Make theme paths relative (#6142)

2019-11-09 12:07:46 +00:00

tree.css

gui: Tweak the Restore Versions modal for better usability (#7972)

2022-01-25 23:08:27 +01:00