Hack

2023-12-09 Charl's super hacky but often working automatic Emacs font size setting