Paul a387d3c6ae Use variables for scrollbar width. ... Update language definitions.		2021-09-03 10:17:42 +01:00
..
lang@3ff3cb0b3c	Use variables for scrollbar width.	2021-09-03 10:17:42 +01:00