diff --git a/content/blog/02_types_variables.md b/content/blog/02_types_variables.md
index bacd65b..4c9988a 100644
--- a/content/blog/02_types_variables.md
+++ b/content/blog/02_types_variables.md
@@ -339,9 +339,8 @@ this means the rule applies to (object) variables declared to have type
 our system. A single rule takes care of figuring the types of _all_
 variables.
 
-{{< todo >}}
-The rest of this, but mostly statements.
-{{< /todo >}}
+> [!TODO]
+> The rest of this, but mostly statements.
 
 ### This Page at a Glance
 #### Metavariables
diff --git a/content/blog/idris_catamorphisms.md b/content/blog/idris_catamorphisms.md
index 0398569..2a200f9 100644
--- a/content/blog/idris_catamorphisms.md
+++ b/content/blog/idris_catamorphisms.md
@@ -17,7 +17,8 @@ spend time explaining dependent types, nor the syntax for them in Idris,
 which is the language I'll use in this article. Below are a few resources
 that should help you get up to speed.
 
-{{< todo >}}List resources{{< /todo >}}
+> [!TODO]
+> List resources
 
 We've seen that, given a function `F a -> a`, we can define a function
 `B -> a`, if `F` is a base functor of the type `B`. However, what if
diff --git a/themes/vanilla b/themes/vanilla
index 4ff0422..806d3a3 160000
--- a/themes/vanilla
+++ b/themes/vanilla
@@ -1 +1 @@
-Subproject commit 4ff04221b08b1eb85e8cedeee6bf37975803bb21
+Subproject commit 806d3a318f4e83141e591db813a02a5433b865bc