remove comment that seems to be wrong after all; browsers do implement

this, but I was misled by a LaTeX2HTML wart that I worked around
yesterday

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 9e956773667c9bbb5e06201ccb82ca009e18c6c5..a71541a8f3ead15989eeb4530e60168161f50b7e 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -129,10 +129,6 @@ div.note .label         { margin-right: 0.5em;
                           border-color: black;
                           border-style: solid;
                           border-width: 0px 0px 2px 0px;
-                          /* This "empty-cells" property should allow us to
-                             avoid having anything for empty cells,
-                             but many browsers don't implement this at
-                             all. */
                           empty-cells: show;
                           margin-left: auto;
                           margin-right: auto;