[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Monospace fonts no longer work on google groups

From: Andrew Helwer <andrew.helwer@xxxxxxxxx>
Date: Thu, 19 Jan 2023 07:32:14 -0800 (PST)

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?

--
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/be195e7a-4762-47c8-b12d-ddc5d694bee4n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] Monospace fonts no longer work on google groups
  - From: Markus Kuppe
- [tlaplus] Re: Monospace fonts no longer work on google groups
  - From: hornace...@xxxxxxxxx

Prev by Date: [tlaplus] Google groups now seems to now allow monospace formatting
Next by Date: [tlaplus] Re: Monospace fonts no longer work on google groups
Previous by thread: [tlaplus] Google groups now seems to now allow monospace formatting
Next by thread: [tlaplus] Re: Monospace fonts no longer work on google groups
Index(es):
- Date
- Thread