diff --git a/content/blog/01_spa_agda_lattices.md b/content/blog/01_spa_agda_lattices.md
index 5535d98..580a0fe 100644
--- a/content/blog/01_spa_agda_lattices.md
+++ b/content/blog/01_spa_agda_lattices.md
@@ -1,7 +1,7 @@
 ---
 title: "Implementing and Verifying \"Static Program Analysis\" in Agda, Part 1: Lattices"
 series: "Static Program Analysis in Agda"
-date: 2024-04-12T14:23:03-07:00
+date: 2024-04-13T14:23:03-07:00
 draft: true
 ---
 
diff --git a/content/series/a-language-for-an-assignment/_index.md b/content/series/a-language-for-an-assignment/_index.md
index c85afa2..416f13d 100644
--- a/content/series/a-language-for-an-assignment/_index.md
+++ b/content/series/a-language-for-an-assignment/_index.md
@@ -7,4 +7,5 @@ summary = """
   using Haskell, and translate to Python.
   """
 status = "suspended"
+divider = " - "
 +++
diff --git a/content/series/advent-of-code-in-coq/_index.md b/content/series/advent-of-code-in-coq/_index.md
index bb6b039..785e85e 100644
--- a/content/series/advent-of-code-in-coq/_index.md
+++ b/content/series/advent-of-code-in-coq/_index.md
@@ -6,4 +6,5 @@ summary = """
   formally prove that the solution is correct.
   """
 status = "suspended"
+divider = " - "
 +++
diff --git a/content/series/compiling-a-functional-language-using-c++/_index.md b/content/series/compiling-a-functional-language-using-c++/_index.md
index 3a4f701..4cc674f 100644
--- a/content/series/compiling-a-functional-language-using-c++/_index.md
+++ b/content/series/compiling-a-functional-language-using-c++/_index.md
@@ -8,4 +8,5 @@ summary = """
   polymorphism.
   """
 status = "complete"
+divider = " - "
 +++
diff --git a/content/series/everything-i-know-about-types/_index.md b/content/series/everything-i-know-about-types/_index.md
index 02349d9..a28ff02 100644
--- a/content/series/everything-i-know-about-types/_index.md
+++ b/content/series/everything-i-know-about-types/_index.md
@@ -7,4 +7,5 @@ summary = """
   """
 status = "ongoing"
 draft = true
+divider = ": "
 +++
diff --git a/content/series/meaningfully-typechecking-a-language-in-idris/_index.md b/content/series/meaningfully-typechecking-a-language-in-idris/_index.md
index 32a7981..1e4b787 100644
--- a/content/series/meaningfully-typechecking-a-language-in-idris/_index.md
+++ b/content/series/meaningfully-typechecking-a-language-in-idris/_index.md
@@ -8,4 +8,5 @@ summary = """
   doesn't have to worry about checking for type errors.
   """
 status = "complete"
+divider = ", "
 +++
diff --git a/content/series/static-program-analysis-in-agda/_index.md b/content/series/static-program-analysis-in-agda/_index.md
index 59cefac..e5fe242 100644
--- a/content/series/static-program-analysis-in-agda/_index.md
+++ b/content/series/static-program-analysis-in-agda/_index.md
@@ -8,4 +8,5 @@ summary = """
   """
 status = "ongoing"
 draft = true
+divider = ": "
 +++
diff --git a/themes/vanilla b/themes/vanilla
index f3bf27d..0043110 160000
--- a/themes/vanilla
+++ b/themes/vanilla
@@ -1 +1 @@
-Subproject commit f3bf27d4a119fc15d7739195610fadce6b5add26
+Subproject commit 00431109ac518c0ab411d770b7678b45ffa7f6bd