From 2a4eec4507f1f80371bcb81873b83cce59f09b56 Mon Sep 17 00:00:00 2001 From: Christian Nunciato Date: Fri, 28 Jun 2019 15:32:16 -0700 Subject: [PATCH 1/4] Make the header more responsive MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Adds padding to medium and above, and adjusts font size and spacing at medium width in order to accommodate the number of items we’re displaying currently. Also uses the full Pulumi logo, since we have room for that now, and adds a little color to the hamburger. Signed-off-by: Christian Nunciato --- layouts/partials/header.html | 19 +++++++++---------- 1 file changed, 9 insertions(+), 10 deletions(-) diff --git a/layouts/partials/header.html b/layouts/partials/header.html index d291c336e2db..04a134143b03 100644 --- a/layouts/partials/header.html +++ b/layouts/partials/header.html @@ -1,4 +1,4 @@ -