This repository has been archived on 2023-03-18. You can view files and clone it, but cannot push or open issues or pull requests.

Jarek Radosz ea326906e3 DEV: Use css var font sizes (#18518) ... For consistency and and the ability to change all font sizes at once in the dev tools		2022-10-12 15:31:59 +02:00
..
javascripts	FIX: Ensure poll type toggle buttons function correctly (#18540)	2022-10-11 11:20:18 +01:00
stylesheets	DEV: Use css var font sizes (#18518)	2022-10-12 15:31:59 +02:00