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

Date Name Who What
2023-08-28 16:35:20 Detlef Groth DDG reference
2016-01-03 17:24:55 Michael Schlenker pooryorick reference
2022-01-15 17:56:50 tk scaling oehhar reference