diff --git a/website/infra.html b/website/infra.html index fe00ccf..7f657b9 100644 --- a/website/infra.html +++ b/website/infra.html @@ -153,6 +153,10 @@ body > * {