From 02ee89b695242d513c428ec269a0c9156862f44f Mon Sep 17 00:00:00 2001
From: Lucas <leblanc.lucas29@gmail.com>
Date: Mon, 27 Feb 2023 14:51:57 +0100
Subject: [PATCH] Add padding and width to the mobile menu #16834

---
 scaladoc/resources/dotty_res/styles/theme/layout/header.css     | 1 +
 scaladoc/resources/dotty_res/styles/theme/layout/mobileMenu.css | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/header.css b/scaladoc/resources/dotty_res/styles/theme/layout/header.css
index 034f9ed43087..2e33023d0701 100644
--- a/scaladoc/resources/dotty_res/styles/theme/layout/header.css
+++ b/scaladoc/resources/dotty_res/styles/theme/layout/header.css
@@ -89,6 +89,7 @@
   #mobile-menu-toggle {
     margin-left: calc(3 * var(--base-spacing));
     display: block;
+    padding: 16px;
   }
 
   .header-container-right .text-button {
diff --git a/scaladoc/resources/dotty_res/styles/theme/layout/mobileMenu.css b/scaladoc/resources/dotty_res/styles/theme/layout/mobileMenu.css
index a7c08eedb4be..6fa692ab4662 100644
--- a/scaladoc/resources/dotty_res/styles/theme/layout/mobileMenu.css
+++ b/scaladoc/resources/dotty_res/styles/theme/layout/mobileMenu.css
@@ -154,6 +154,8 @@
 
 #mobile-menu-close {
   margin-left: auto;
+  width: 48px;
+  height: 48px;
 }
 
 #mobile-menu-close:disabled {