From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2178) id 33FDC386187E; Mon, 19 Feb 2024 10:36:08 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 33FDC386187E DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1708338968; bh=XNsUI/N1lACibol5ik+30wQt1dlaQqKFseUtOwhtryA=; h=To:Subject:Date:From:From; b=bTdv9bk1o+YGi/EPB/Zqi3ZECLCBQwrB/YKL196sxzxIQehBOnQdmIvuJRd9HzN+/ qNvwRkGgmCXVRWDIrbMKb6gG4lT++/f8M7lFbBYM/OHuLaBEYttYl7zIntFm8ioACc v2gYxuEEhspWL37qpfpO/R53wip6yr8Gi7snoYjQ= To: gcc-cvs-wwwdocs@gcc.gnu.org Subject: gcc-wwwdocs branch master updated. 4a56e1431bd0e2e3d435168216d7beec462b004a X-Git-Refname: refs/heads/master X-Git-Reftype: branch X-Git-Oldrev: a8228fa92ff2ced72d02801e374f7d4c5ed40683 X-Git-Newrev: 4a56e1431bd0e2e3d435168216d7beec462b004a Message-Id: <20240219103608.33FDC386187E@sourceware.org> Date: Mon, 19 Feb 2024 10:36:08 +0000 (GMT) From: Florian Weimer List-Id: This is an automated email from the git hooks/post-receive script. It was generated because a ref change was pushed to the repository containing the project "gcc-wwwdocs". The branch, master has been updated via 4a56e1431bd0e2e3d435168216d7beec462b004a (commit) from a8228fa92ff2ced72d02801e374f7d4c5ed40683 (commit) Those revisions listed above that are new to this repository have not appeared on any other notification email; so we list those revisions in full, below. - Log ----------------------------------------------------------------- commit 4a56e1431bd0e2e3d435168216d7beec462b004a Author: Florian Weimer Date: Mon Feb 19 11:35:47 2024 +0100 CSS: Color markup for / In addition to underlines and strikethroughs. This makes it easier to spot the differences in example code changes. 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: #000000; } +/* 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; } ----------------------------------------------------------------------- Summary of changes: htdocs/gcc.css | 4 ++++ 1 file changed, 4 insertions(+) hooks/post-receive -- gcc-wwwdocs