From 8cad44f4109b6f87e565d43e137e99ab23b54349 Mon Sep 17 00:00:00 2001 From: silverwind Date: Wed, 20 Mar 2024 12:21:18 +0100 Subject: Remove the negative margin from `.page-content` (#29922) The negative margin was suboptimal and presents a few unnecessary challenges while styling the page. Remove it and add custom margin values, which slightly changes the height a few things near the top of the page as well: 15px less height of explore and login navbar: Screenshot 2024-03-20 at 00 52 34 15px reduced padding-top height of "user bar" and equal 4px padding added: Screenshot 2024-03-20 at 00 52 50 3px less padding on top of repo: Screenshot 2024-03-20 at 00 53 49 --- web_src/css/repo/header.css | 1 + 1 file changed, 1 insertion(+) (limited to 'web_src/css/repo') diff --git a/web_src/css/repo/header.css b/web_src/css/repo/header.css index 4461e3338e..f66df4cd8b 100644 --- a/web_src/css/repo/header.css +++ b/web_src/css/repo/header.css @@ -71,6 +71,7 @@ } .repository .header-wrapper { + padding-top: 12px; background-color: var(--color-header-wrapper); } -- cgit v1.2.3