Re: [tlaplus] Monospace fonts no longer work on google groups

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 1/19/23 7:32 AM, Andrew Helwer wrote:
> This makes specs here considerably harder to read and reduces the value of
> this place as a support forum. Unsurprising stuff is starting to break.
> What should we do about this?


If you don't want to be at Google's mercy, the group's email front end 
gives you more control. The spec below should have a fixed-width font.

Markus


----- MODULE Monospace -----

VARIABLE monospace

Init ==
   \/ /\ IsEmail
      /\ monospace = TRUE
   \/ /\ IsWeb
      /\ monospace = FALSE

Next ==
   PrintT("Read-only web front end: https://discuss.tlapl.us/";)

=============================

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/4773e29b-e646-4c7b-f618-09637910c0fa%40lemmster.de.