From 72165c01f0e1e0db3abf67e1a8d88352d9f5524b Mon Sep 17 00:00:00 2001 From: Damien George Date: Mon, 3 Nov 2014 20:48:43 +0000 Subject: [PATCH] docs: Adjust table spacing in topindex page. --- docs/topindex.html | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/docs/topindex.html b/docs/topindex.html index 51c9f35fd8..1ffffa586d 100644 --- a/docs/topindex.html +++ b/docs/topindex.html @@ -2,8 +2,8 @@ {% block tables %}

Documentation for Micro Python and the pyboard:

- -
+ + -
+

Indices and tables:

- -
+ + -
+

External links:

- -
+ + -
+