Try to get rid of the big ugly revision history table border.

Change-Id: Id9505660dd020285be63d2ba17cf34a46aa6084f
Reviewed-on: https://code.wireshark.org/review/201
Reviewed-by: Gerald Combs <gerald@wireshark.org>

1 files changed, 1 insertions, 1 deletions

diff --git a/docbook/ws.css b/docbook/ws.css
index 16cf9e3651..adfb8016e4 100644
--- a/docbook/ws.css
+++ b/docbook/ws.css
@@ -188,7 +188,7 @@ div.variablelist p.title
 
 div.revhistory table {
   border-collapse: collapse;
-  border: none;
+  border-width: 0;
 }
 div.revhistory th {
   border: none;