diff --git a/docs/build_index.py b/docs/build_index.py
index 01472ee..d9a43fa 100644
--- a/docs/build_index.py
+++ b/docs/build_index.py
@@ -21,7 +21,7 @@ print(f'''\
{title_of(html)}
-
+
diff --git a/docs/html/Thun.html b/docs/html/Thun.html
index e3ff640..9935764 100644
--- a/docs/html/Thun.html
+++ b/docs/html/Thun.html
@@ -5,7 +5,7 @@
Thun Specification
-
+
diff --git a/docs/html/index.html b/docs/html/index.html
index 3a24caf..034ae78 100644
--- a/docs/html/index.html
+++ b/docs/html/index.html
@@ -5,7 +5,7 @@
Thun
-
+
diff --git a/docs/html/notebooks/BigInts.html b/docs/html/notebooks/BigInts.html
index 201b547..298b3e4 100644
--- a/docs/html/notebooks/BigInts.html
+++ b/docs/html/notebooks/BigInts.html
@@ -5,7 +5,7 @@
BigNums in Joy
-
+
diff --git a/docs/html/notebooks/DeriveZip.html b/docs/html/notebooks/DeriveZip.html
index 75d00dd..b27a5ac 100644
--- a/docs/html/notebooks/DeriveZip.html
+++ b/docs/html/notebooks/DeriveZip.html
@@ -5,7 +5,7 @@
Zip
-
+
diff --git a/docs/html/notebooks/Generator_Programs.html b/docs/html/notebooks/Generator_Programs.html
index d7a30d6..8df9d9d 100644
--- a/docs/html/notebooks/Generator_Programs.html
+++ b/docs/html/notebooks/Generator_Programs.html
@@ -5,7 +5,7 @@
Generator Programs
-
+
diff --git a/docs/html/notebooks/NerdSnipe.html b/docs/html/notebooks/NerdSnipe.html
index cbddcf3..70e0b94 100644
--- a/docs/html/notebooks/NerdSnipe.html
+++ b/docs/html/notebooks/NerdSnipe.html
@@ -5,7 +5,7 @@
Nerd Sniped
-
+