diff --git a/website/infra.html b/website/infra.html index 9bf9468..fe00ccf 100644 --- a/website/infra.html +++ b/website/infra.html @@ -140,46 +140,30 @@ body > * {