UI: styling tweaks

public/css/index-tailwind-output.css

@@ -1526,6 +1526,10 @@ input[type="range"].range-lg::-moz-range-thumb {
   margin-bottom: 0.25rem;
 }
 
+.mr-3 {
+  margin-right: 0.75rem;
+}
+
 .mt-8 {
   margin-top: 2rem;
 }

src/UI/BigComponents/MenuDrawer.svelte

@@ -157,11 +157,11 @@
 
     <Page {onlyLink} shown={pg.about_theme}>
       <svelte:fragment slot="link">
-        <Marker icons={layout.icon} />
+        <Marker size="h-7 w-7" icons={layout.icon} />
         <Tr t={t.showIntroduction} />
       </svelte:fragment>
       <svelte:fragment slot="header">
-        <Marker size="h-6 w-6 mr-2"  icons={layout.icon} />
+        <Marker size="h-8 w-8 mr-3"  icons={layout.icon} />
         <Tr t={layout.title} />
       </svelte:fragment>
       <ThemeIntroPanel {state} />