From adbdf32d8b47b0841ee720b26d86287e7cfa1aaf Mon Sep 17 00:00:00 2001
From: CatsJuice <wp1298554944@hotmail.com>
Date: Mon, 26 May 2025 02:06:03 +0000
Subject: [PATCH] fix(core): doc explorer navigation padding (#12430)

<!-- This is an auto-generated comment: release notes by coderabbit.ai -->

## Summary by CodeRabbit

- **Style**
  - Updated navigation header to include additional left padding for improved spacing.

<!-- end of auto-generated comment: release notes by coderabbit.ai -->
---
 .../core/src/components/explorer/header/navigation.css.ts        | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/frontend/core/src/components/explorer/header/navigation.css.ts b/packages/frontend/core/src/components/explorer/header/navigation.css.ts
index aef44ac48..7cda1fca1 100644
--- a/packages/frontend/core/src/components/explorer/header/navigation.css.ts
+++ b/packages/frontend/core/src/components/explorer/header/navigation.css.ts
@@ -8,6 +8,7 @@ export const container = style({
   fontSize: 18,
   lineHeight: '26px',
   fontWeight: 600,
+  paddingLeft: 8,
 });
 
 export const item = style({