From 7d5b39f130d161d9bdb426e8b557ba3dc85b1b10 Mon Sep 17 00:00:00 2001
From: Danila Fedorin <danila.fedorin@gmail.com>
Date: Sat, 10 Sep 2022 23:56:08 -0700
Subject: [PATCH] Make most tables not wrap on small screens

---
 content/blog/01_types_basics.md          | 1 +
 content/blog/10_compiler_polymorphism.md | 1 +
 content/blog/coq_dawn.md                 | 2 ++
 themes/vanilla                           | 2 +-
 4 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/content/blog/01_types_basics.md b/content/blog/01_types_basics.md
index 7b120d2..171132b 100644
--- a/content/blog/01_types_basics.md
+++ b/content/blog/01_types_basics.md
@@ -428,6 +428,7 @@ and already be up-to-speed on a big chunk of the content.
 {{< /block >}}
 
 #### Rules
+{{< foldtable >}}
 | Rule         | Description |
 |--------------|-------------|
 | {{< latex >}}s : \text{string} {{< /latex >}}| String literals have type \\(\\text{string}\\) |
diff --git a/content/blog/10_compiler_polymorphism.md b/content/blog/10_compiler_polymorphism.md
index 8fbfcbf..2e314ff 100644
--- a/content/blog/10_compiler_polymorphism.md
+++ b/content/blog/10_compiler_polymorphism.md
@@ -64,6 +64,7 @@ rules work together below.
 {{< /sidenote >}} I will also give a quick
 summary of each of these rules.
 
+{{< foldtable >}}
 Rule|Name and Description
 -----|-------
 {{< latex >}}
diff --git a/content/blog/coq_dawn.md b/content/blog/coq_dawn.md
index ce02a1f..79bd2e8 100644
--- a/content/blog/coq_dawn.md
+++ b/content/blog/coq_dawn.md
@@ -219,6 +219,7 @@ Here, we may as well go through the three constructors to explain what they mean
 Now it's time for some fun! The UCC language specification starts by defining two values:
 true and false. Why don't we do the same thing?
 
+{{< foldtable >}}
 |UCC Spec| Coq encoding |
 |---|----|
 |\\(\\text{false}\\)=\\([\\text{drop}]\\)| {{< codelines "Coq" "dawn/Dawn.v" 41 42 >}}
@@ -257,6 +258,7 @@ element, as specified. The proof for \\(\\text{true}\\) is very similar in spiri
 
 We can also formalize the \\(\\text{or}\\) operator:
 
+{{< foldtable >}}
 |UCC Spec| Coq encoding |
 |---|----|
 |\\(\\text{or}\\)=\\(\\text{clone}\\ \\text{apply}\\)| {{< codelines "Coq" "dawn/Dawn.v" 65 65 >}}
diff --git a/themes/vanilla b/themes/vanilla
index c5a28bf..869f9d1 160000
--- a/themes/vanilla
+++ b/themes/vanilla
@@ -1 +1 @@
-Subproject commit c5a28bf7ef0ea0ec4f534cf2bff231d1ad43bcea
+Subproject commit 869f9d12c84ebf38fe8f21611af9d3bf7ff5ea0d