Add non-CSS borders for LibreOffice and OpenOffice

h2/src/docsrc/html/stylesheetPdf.css

@@ -71,9 +71,8 @@ table {
 
 th {
     font-size: 14pt;
-    font-weight: normal;
+    font-weight: bold;
     text-align: left;
-    background-color: #ece9d8;
     border: 1px solid #aca899;
     padding: 2px;
 }

h2/src/tools/org/h2/build/doc/MergeDocs.java

@@ -43,6 +43,7 @@ public class MergeDocs {
             text = disableRailroads(text);
             text = removeHeaderFooter(fileName, text);
             text = fixLinks(text);
+            text = fixTableBorders(text);
             buff.append(text);
         }
         String finalText = buff.toString();
@@ -103,6 +104,12 @@ public class MergeDocs {
                 .replaceAll("href=\"tutorial.html\"", "href=\"#tutorial_index\"");
     }
 
+    private static String fixTableBorders(String text) {
+        return text
+                .replaceAll("<table class=\"main\">",
+                        "<table class=\"main\" border=\"1\" cellpadding=\"5\" cellspacing=\"0\">");
+    }
+
     private static String getContent(String fileName) throws Exception {
         File file = new File(BASE_DIR, fileName);
         int length = (int) file.length();

h2/src/tools/org/h2/build/doc/dictionary.txt

@@ -766,4 +766,4 @@ interpolated thead
 
 die weekdiff osx subprocess dow proleptic microsecond microseconds divisible cmp denormalized suppressed saturated mcs
 london dfs weekdays intermittent looked msec tstz africa monrovia asia tokyo weekday joi callers multipliers ucn
-openoffice organize libre systemtables gmane sea
+openoffice organize libre systemtables gmane sea borders