Re: [PATCH wwwdocs] CSS: Color markup for /

2024-02-17 Thread Gerald Pfeifer
On Sat, 17 Feb 2024, Florian Weimer wrote: > In addition to underlines and strikethroughs. This makes it easier to > spot the differences in example code changes. Looks like a good idea! Thanks, Gerald

[PATCH wwwdocs] CSS: Color markup for /

2024-02-17 Thread Florian Weimer
In addition to underlines and strikethroughs. This makes it easier to spot the differences in example code changes. --- htdocs/gcc.css | 4 1 file changed, 4 insertions(+) diff --git a/htdocs/gcc.css b/htdocs/gcc.css index 77d01ee0..e32c4b93 100644 --- a/htdocs/gcc.css +++ b/htdocs/gcc.css