Eric S Fraga <e.fr...@ucl.ac.uk> writes:
On Saturday, 25 Sep 2021 at 19:37, Adam Porter wrote:This is why I prefer to remove font specifications for documentationpages: let the user decide.+1 on this (and on size specifications). Please keep the settings as generic as possible and let me, the viewer, decide actual font andsizes. Thank you, eric
+1 -- Thomas S. Dye https://tsdye.online/tsdye
