From 9bb2a0716f3e1a242b9222fdf0627f052132d6d5 Mon Sep 17 00:00:00 2001 From: Stefano Ottolenghi Date: Thu, 18 Jul 2024 19:38:25 +0200 Subject: [PATCH 1/2] enlarge docs header dropdown --- src/css/header.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/css/header.css b/src/css/header.css index b29d0b66..348bd010 100644 --- a/src/css/header.css +++ b/src/css/header.css @@ -339,7 +339,7 @@ body { } .navbar-item .navbar-dropdown { - max-width: 320px; + max-width: 660px; } .navbar-item.is-hoverable:hover .navbar-dropdown { From 2f8a16521183b274f3d213df06efcc46b57b3658 Mon Sep 17 00:00:00 2001 From: Stefano Ottolenghi Date: Thu, 18 Jul 2024 19:52:43 +0200 Subject: [PATCH 2/2] fix --- src/css/header.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/css/header.css b/src/css/header.css index 348bd010..3d0528a1 100644 --- a/src/css/header.css +++ b/src/css/header.css @@ -327,7 +327,8 @@ body { } .navbar-item.docs .navbar-dropdown { - width: 320px; + width: 660px; + max-width: 660px; } .navbar-item.labs .navbar-dropdown { @@ -339,7 +340,7 @@ body { } .navbar-item .navbar-dropdown { - max-width: 660px; + max-width: 320px; } .navbar-item.is-hoverable:hover .navbar-dropdown {