From d16c40aa973010060753823e0fca3fabb5545b52 Mon Sep 17 00:00:00 2001
From: marcoscaceres <870154+marcoscaceres@users.noreply.github.com>
Date: Tue, 7 Oct 2025 04:36:27 +0000
Subject: [PATCH] chore(tidy): tidy up document

---
 index.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/index.html b/index.html
index 0459d3a..b57100e 100644
--- a/index.html
+++ b/index.html
@@ -499,7 +499,9 @@ <h2>
           [SameObject] readonly attribute Geolocation geolocation;
         };
       </pre>
-      <h3>`navigator` attribute</h3>
+      <h3>
+        `navigator` attribute
+      </h3>
       <p>
         The <dfn>geolocation</dfn> attribute provides the entry point for
         accessing the Geolocation API.