diff --git a/docs/acknowledgements.html b/docs/acknowledgements.html
index 1e8d60ad9..f7ba3f633 100644
--- a/docs/acknowledgements.html
+++ b/docs/acknowledgements.html
@@ -1,13 +1,15 @@
-
+
Acknowledgements — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/bibliography.html b/docs/bibliography.html
index 134355b56..f5df9a567 100644
--- a/docs/bibliography.html
+++ b/docs/bibliography.html
@@ -1,13 +1,15 @@
-
+
Related work and bibliography — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/documentation.html b/docs/documentation.html
index 4c0c62c88..aa9bf57c9 100644
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -1,13 +1,15 @@
-
+
Code Documentation — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/evaluation.html b/docs/evaluation.html
index 1d453fd22..e9fa2be87 100644
--- a/docs/evaluation.html
+++ b/docs/evaluation.html
@@ -1,13 +1,15 @@
-
+
Evaluation — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/features.html b/docs/features.html
index 0ab57d15f..9b91108ca 100644
--- a/docs/features.html
+++ b/docs/features.html
@@ -1,13 +1,15 @@
-
+
Language Support — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/genindex.html b/docs/genindex.html
index c37f1b68c..a06f326b9 100644
--- a/docs/genindex.html
+++ b/docs/genindex.html
@@ -1,13 +1,15 @@
-
+
Index — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/index.html b/docs/index.html
index bd9a91666..601926763 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -1,13 +1,15 @@
-
+
The BRiCk C++ Program Logic — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/machine.html b/docs/machine.html
index e5f8d4a4a..f993ebd12 100644
--- a/docs/machine.html
+++ b/docs/machine.html
@@ -1,13 +1,15 @@
-
+
Assembly Interoperation — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/object_layout.html b/docs/object_layout.html
index 694cfd913..af2d2c19c 100644
--- a/docs/object_layout.html
+++ b/docs/object_layout.html
@@ -1,13 +1,15 @@
-
+
Object representation, layout and padding — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/pointers.html b/docs/pointers.html
index 248979ec6..f675691d2 100644
--- a/docs/pointers.html
+++ b/docs/pointers.html
@@ -1,13 +1,15 @@
-
+
Pointers and pointer provenance — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/proof_examples.html b/docs/proof_examples.html
index 08b47768c..3d7f53b00 100644
--- a/docs/proof_examples.html
+++ b/docs/proof_examples.html
@@ -1,13 +1,15 @@
-
+
Proof Examples — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/proofs/val_cat.html b/docs/proofs/val_cat.html
index aecbae296..6d65b14ce 100644
--- a/docs/proofs/val_cat.html
+++ b/docs/proofs/val_cat.html
@@ -1,13 +1,15 @@
-
+
val_cat - Stress Testing Calling Conventions — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+
diff --git a/docs/search.html b/docs/search.html
index bac9ead08..e03414b9c 100644
--- a/docs/search.html
+++ b/docs/search.html
@@ -1,13 +1,15 @@
-
+
Search — BedRock BRiCk alpha documentation
-
-
-
-
+
+
+
+
+
+