Email Gateway (Aug 22 2022 at 18:28): Email Gateway (Aug 22 2022 at 18:28):From: Askar Safin via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
FOM mailing list doesn't have this problem, so configuring mailman is possible. If you don't see config option, try to edit HTML templates or CSS files (if they are available). For example, you can apply the following patch to https://lists.cam.ac.uk/camstyle.css :
-pre, tt {font-family: Courier, monospace; font-size: 90%;}
+pre, tt {font-family: Courier, monospace; font-size: 90%; white-space: pre-wrap;}
==
Askar Safin
http://vk.com/safinaskar
Email Gateway (Aug 22 2022 at 18:29):From: Lawrence Paulson <lp15@cam.ac.uk>
Thanks for the suggestion. I don't know a lot about CSS, but I looked online a bit and got the impression that line wrapping was the default: "nowrap" must be specified somewhere, but I couldn't find it.
I don't have direct control over the actual archive website, which is managed by our computing service. I have contacted them and hope that they will do something about this.
Larry Paulson
Email Gateway (Aug 22 2022 at 18:30):From: Lawrence Paulson <lp15@cam.ac.uk>
Incredibly, the central university administrators agreed to this change, so it should work now.
You will probably have to clear the caches on your browser however. It looks the same to me using my main browser and I had to use a different browser to see the effect of the new style sheet.
Larry
Email Gateway (Aug 22 2022 at 18:30):From: Askar Safin via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Incredibly, the central university administrators agreed to this change, so it should work now.
Thanks, it works.
==
Askar Safin
http://vk.com/safinaskar
Last updated: Nov 21 2024 at 12:39 UTC