»Pages: Standardschrift und -schriftgröße ändern«, via @ifun — https://www.ifun.de/pages-standardschrift-und-schriftgroesse-aendern-148735/