PRS: Support redirects

AA-Turner · AA-Turner · commit baa9106647ff · 2022-03-12T03:30:44.000Z
diff --git a/pep_sphinx_extensions/pep_theme/templates/not_found.html b/pep_sphinx_extensions/pep_theme/templates/not_found.html
@@ -12,14 +12,12 @@
     <link rel="stylesheet" href="{{ pathto('_static/dark.css', resource=True) }}" type="text/css" media="(prefers-color-scheme: dark)" id="css-dark"/>
     <link href="https://fonts.googleapis.com/css2?family=Source+Sans+Pro:ital,wght@0,400;0,700;1,400&display=swap" rel="stylesheet">
     <meta name="description" content="Python Enhancement Proposals (PEPs)"/>
-</head>
-<body>
     <script>
-        window.onload = () => {
-            const prefixNum = window.location.pathname.slice(1).replace(/^(\d*)$/, "$1")
-            if (!isNaN(+prefixNum)) window.location.pathname = "/pep-" + prefixNum.padStart(4, "0")
-        }
+    const prefixNum = window.location.pathname.slice(1).replace(/^(\d*)$/, "$1")
+    if (!isNaN(+prefixNum)) window.location.pathname = "/pep-" + prefixNum.padStart(4, "0")
     </script>
+</head>
+<body>
     <section id="pep-page-section">
         <header>
             <h1>Python Enhancement Proposals</h1>
