Remove table borders

diff --git a/docs/Benchmarks.mdr b/docs/Benchmarks.mdr
index 723c231a858ce623dc2c2a8f902b62a136b49e3c..64ef668656df67e81cb9348ef070ed5e02624cf9 100644 (file)
--- a/docs/Benchmarks.mdr
+++ b/docs/Benchmarks.mdr
@@ -5,6 +5,6 @@
 > @hide cd Gwion; git log -n1
 
 ## test
-<table style="border:none"><tr><td align="center">
+<table><tr><td align="center" style="border:none">
 @hide bash scripts/list_benchmarks.sh
 </td></tr></table>