[PATCH htdocs] gnu.css: delete unused & broken td.side rule

[Mike Frysinger]

The gnu.css file is only used in manual indexes, and those don't
use class=side in td elements, so delete this rule.  It looks like
someone tried to comment out a block, but used the wrong comment
style.
---
 gnu.css | 13 -------------
 1 file changed, 13 deletions(-)

diff --git a/gnu.css b/gnu.css
index 7fd1cc7f2b0f..303fe50a4226 100644
--- a/gnu.css
+++ b/gnu.css
@@ -97,19 +97,6 @@ img {
 	border: none 0;
 }
 
-td.side {
-	color: #3366cc;
-\*	background: #f2f2f9;
-	border-color: #3366cc;
-	border-style: solid;
-	border-width: thin; *\
-	border-color: white;
-	border-style: none;
-	vertical-align: top;
-	width: 150px;
-	font-size: 11pt;
-}
-
 div.copyright {
 	font-size: 8pt;
 	border: 2px solid #3366cc;
-- 
2.43.0