docs: tweak home banner height (#38688)

.dumi/hooks/useSiteToken.ts

@@ -26,7 +26,7 @@ const useSiteToken = () => {
       /** 80 */
       marginFarSM: (token.marginXXL / 3) * 5,
       /** 96 */
-      marginFar: token.marginXXL * 1.8,
+      marginFar: token.marginXXL * 2,
       codeFamily: `'SFMono-Regular', Consolas, 'Liberation Mono', Menlo, Courier, monospace`,
     },
   };

.dumi/pages/index/components/Banner.tsx

@@ -36,7 +36,7 @@ export default function Banner({ children }: BannerProps) {
       {/* Banner Placeholder Motion */}
       <div
         style={{
-          height: 240,
+          height: 320,
           background: '#77C6FF',
           display: 'flex',
           flexWrap: 'nowrap',
@@ -53,12 +53,7 @@ export default function Banner({ children }: BannerProps) {
           }}
         />
 
-        <video
-          style={{ height: '100%', objectFit: 'contain' }}
-          autoPlay
-          muted
-          loop
-        >
+        <video style={{ height: '100%', objectFit: 'contain' }} autoPlay muted loop>
           <source
             src="https://mdn.alipayobjects.com/huamei_iwk9zp/afts/file/A*uYT7SZwhJnUAAAAAAAAAAAAADgCCAQ"
             type="video/webm"
@@ -91,7 +86,7 @@ export default function Banner({ children }: BannerProps) {
         <GroupMask
           style={{
             textAlign: 'center',
-            paddingTop: token.marginFar,
+            paddingTop: token.marginFar - 16,
             paddingBottom: token.marginFarSM,
           }}
         >