From 4bc834b881fa3d563b189877fb079c852c70520e Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Sat, 10 Apr 2021 16:50:03 +0200 Subject: website: Replace logos and favicon with SVG originals. --- website/static/css/main.css | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'website/static/css') diff --git a/website/static/css/main.css b/website/static/css/main.css index 16f4836..2c073c7 100644 --- a/website/static/css/main.css +++ b/website/static/css/main.css @@ -98,6 +98,11 @@ p + p { #header .logo { padding: 10px; display: block; + height: 15rem; +} + +#header .logo.small { + height: 4.5rem; } #header .baseline { -- cgit v1.2.1