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. -- 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/f901280a-7143-40fd-97e0-34e8b23618f0n%40googlegroups.com.