From d3205d2425fe1e28f1f210f60b5028d545c4a7cf Mon Sep 17 00:00:00 2001
From: Alex Schroeder <alex@gnu.org>
Date: Sat, 28 May 2016 21:09:55 +0200
Subject: [PATCH] INS is italic, not red

---
 css/alex-2016.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/alex-2016.css b/css/alex-2016.css
index 82c4dd9d..b2fd936b 100644
--- a/css/alex-2016.css
+++ b/css/alex-2016.css
@@ -290,7 +290,7 @@ div.sidebar ul {
 /* replacements, features */
 
 ins {
-    color: #b33;
+    font-style: italic;
     text-decoration: none;
 }
 acronym, abbr {