diff --git a/website/Main.lean b/website/Main.lean index 3384c31d..7f04b669 100644 --- a/website/Main.lean +++ b/website/Main.lean @@ -14,10 +14,10 @@ def theme : Theme := { Theme.default with