From 1cb5bd3b25b9388ae0eafaf9550b95fb36e103d6 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Fri, 24 May 2024 21:45:33 +0200
Subject: [PATCH] chore: tidy up index.html (#391)

Co-authored-by: clelland <clelland@users.noreply.github.com>
---
 index.html | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/index.html b/index.html
index 159e44b..1a7dc20 100644
--- a/index.html
+++ b/index.html
@@ -205,16 +205,16 @@ <h2>
       </p>
       <p>
         Throughout this work, all time values are measured in milliseconds
-        since the start of navigation of the document [[HR-TIME]]. For
-        example, the <a data-cite="NAVIGATION-TIMING-2#performanceentry">start
-        of navigation of the document</a> occurs at time 0.
+        since the start of navigation of the document [[HR-TIME]]. For example,
+        the <a data-cite="NAVIGATION-TIMING-2#performanceentry">start of
+        navigation of the document</a> occurs at time 0.
       </p>
       <p class='note'>
         This definition of time is based on the High Resolution Time
-        specification [[HR-TIME]] and is different from the definition of
-        time used in the Navigation Timing specification
-        [[NAVIGATION-TIMING-2]], where time is measured in milliseconds since
-        midnight of January 1, 1970 (UTC).
+        specification [[HR-TIME]] and is different from the definition of time
+        used in the Navigation Timing specification [[NAVIGATION-TIMING-2]],
+        where time is measured in milliseconds since midnight of January 1,
+        1970 (UTC).
       </p>
     </section>
     <section id="sec-resource-timing">