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

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

 I’d like to get my custom trailer on my GoogleGroup to be monospaced.

Can I add code to the trailer to accomplish this?


On Tuesday, March 14, 2023 at 4:07:10 PM UTC-4 Andrew Helwer wrote:
Testing whether monospace fonts work; this is posted through the web interface. The following line of text should be monospace, done by selecting/highlighting it and changing the font to "Courier New":

Test test 123 test

On Thursday, January 19, 2023 at 11:43:47 AM UTC-5 Markus Kuppe wrote:
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.


----- 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/ec48a393-daf5-46d9-9957-168df6c489b4n%40googlegroups.com.