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
@@ -98,6 +98,10 @@ div.copyright p:nth-child(3) { margin-bottom: 0; }
 .blue{ color:blue; }
 .blackbg { color:white; background-color: #00; }
 
+/* Inline markup for differences. */
+ins { background-color: lightgreen }
+del { background-color: pink } 
+
 /* Quote an e-mail.  The first  has the sender, the second the quote. */
 blockquote.mail div:nth-child(2) { border-left: solid blue; padding-left: 4pt; 
}
 

base-commit: 848ebfb46379178be3b0307c2ef99f4012e40edd