References to, includes from, and redirects to Resizing fonts on window resize

Date	Name	Who	What
2024-12-30 09:31:25	Detlef Groth	DDG	reference
2016-01-03 17:24:55	Michael Schlenker	pooryorick	reference
2022-01-15 17:56:50	tk scaling	oehhar	reference