Add series navigation before appendix

Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>

content/blog/02_spa_agda_combining_lattices.md

@@ -449,6 +449,8 @@ The same is true for maps, under certain conditions.
 The finite-height property is crucial to lattice-based static program analysis;
 we'll talk about it in more detail in the next post of this series.
 
+{{< seriesnav >}}
+
 ### Appendix: Proof of Uniqueness of Keys
 
 I will provide sketches of the proofs here, and omit the implementations

themes/vanilla

@@ -1 +1 @@
-Subproject commit 25e9057dd8b1ddc571f3b26d80b72e86bbcbaa72
+Subproject commit f677a3731cfa7624c63b89438f9e9d789798762e