diff --git a/docs/src/components/Header.astro b/docs/src/components/Header.astro
index 258ee9bd..fdfef9c5 100644
--- a/docs/src/components/Header.astro
+++ b/docs/src/components/Header.astro
@@ -1,6 +1,6 @@
 ---
 import config from 'virtual:starlight/user-config';
-import type { Props } from '../props';
+import type { Props } from '@astrojs/starlight/props';
 
 import LanguageSelect from 'virtual:starlight/components/LanguageSelect';
 import Search from 'virtual:starlight/components/Search';
diff --git a/docs/src/components/MobileMenuFooter.astro b/docs/src/components/MobileMenuFooter.astro
index b7b3d118..72989079 100644
--- a/docs/src/components/MobileMenuFooter.astro
+++ b/docs/src/components/MobileMenuFooter.astro
@@ -2,7 +2,7 @@
 import LanguageSelect from 'virtual:starlight/components/LanguageSelect';
 import SocialIcons from 'virtual:starlight/components/SocialIcons';
 import ThemeSelect from 'virtual:starlight/components/ThemeSelect';
-import type { Props } from '../props';
+import type { Props } from '@astrojs/starlight/props';
 import VersionSelect from './DocsVersionSelect.astro';
 ---
 
diff --git a/docs/src/env.d.ts b/docs/src/env.d.ts
index 6811d7c2..89075f29 100644
--- a/docs/src/env.d.ts
+++ b/docs/src/env.d.ts
@@ -1,3 +1,4 @@
-// eslint-disable-next-line @typescript-eslint/triple-slash-reference
+/* eslint-disable @typescript-eslint/triple-slash-reference */
 /// <reference path="../.astro/types.d.ts" />
 /// <reference types="astro/client" />
+/// <reference path="../node_modules/@astrojs/starlight/virtual.d.ts"/>