Add padding and width to the mobile menu #16834

Dedelweiss · Dedelweiss · commit 02ee89b69524 · 2023-02-27T14:51:57.000+01:00
diff --git 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
@@ -154,6 +154,8 @@
 
 #mobile-menu-close {
   margin-left: auto;
+  width: 48px;
+  height: 48px;
 }
 
 #mobile-menu-close:disabled {

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@`
`89`	`89`	`#mobile-menu-toggle {`
`90`	`90`	`margin-left: calc(3 * var(--base-spacing));`
`91`	`91`	`display: block;`
	`92`	`+ padding: 16px;`
`92`	`93`	`}`
`93`	`94`
`94`	`95`	`.header-container-right .text-button {`