Trivial restyling

diff --git a/doc/style.css b/doc/style.css
index e05fd443b4ae20d2b60f75c2e56de176e1ad3812..0dec0f2156face811f2b44954c850c6327a7fce9 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -7,4 +7,5 @@ body {
 h1, h2, h3, h4 { text-align: center }
 h1, h2, h3, h4, strong { color: #900090 }
 pre { background-color: #CCCCCC }
+table, th, td { border: 1px solid black }
 --></style>