On Friday, 3 February 2023 at 16:31:38 UTC-8 Nils Bruin wrote: On Friday, 3 February 2023 at 03:44:55 UTC-8 dim...@gmail.com wrote:
I think this happens if you use Google's interface to Groups, rather than an email client. Nope , google groups interface formats quoted text with a line to the left (as above). No colour introduced either. Perhaps there are some settings that change how quoted text is configured, but there's definitely a setting (and I would think the default) that typesets it as in this message. Oh, ouch. That is in the preview! when it's posted it indeed just displays with a colour difference! This is an issue for googlegroups accessibility. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/32cc564a-a24a-4a4f-a5ef-b8b236bdad1fn%40googlegroups.com.
