html: Delete redundant code.

This code was part of an earlier attempt at CSS styling for HTML output.
It does nothing useful, so remove it.

diff --git a/src/output/html.c b/src/output/html.c
index 57d77a7667c94e7e8d68cd7b9739daa9ced2f2f7..3f9c177bc5480bbf25f1f7c3dbc009a0d2c9cdab 100644 (file)
--- a/src/output/html.c
+++ b/src/output/html.c
@@ -439,23 +439,6 @@ html_output_table (struct html_driver *html, struct table_item *item)
           if (n_borders > 0)
             fputs ("\"", html->file);
 
-          if (top > TAL_GAP || bottom > TAL_GAP
-              || left > TAL_GAP || right > TAL_GAP)
-            {
-              fputs (" STYLE=\"", html->file);
-              if (top > TAL_GAP)
-                fprintf (html->file, "border-top: %s",
-                         top == TAL_1 ? "thin solid" : "double");
-
-              if (top > TAL_GAP && left > TAL_GAP)
-                fputs ("; ", html->file);
-
-              if (left > TAL_GAP)
-                fprintf (html->file, "border-left: %s",
-                         left == TAL_1 ? "thin solid" : "double");
-              fputs ("\"", html->file);
-            }
-
           putc ('>', html->file);
 
           /* Output cell contents. */