Make documentation links shorter to make the table less wide

layouts/index.html

@@ -25,7 +25,14 @@
         } else {
           td.style.backgroundColor = `hsla(0, 100%, 50%, ${0.334 - percentage / 300.0})`
         }
-      })
+      });
+
+      document.querySelectorAll('td:last-child').forEach(td => {
+        const docLink = td.querySelector('a');
+        // Only keep the last fragment and trim the file extension to make the table less wide.
+        const docLinkSplit = docLink.innerText.split('/');
+        docLink.innerText = docLinkSplit[docLinkSplit.length - 1].slice(0, -5);
+      });
     </script>
   </body>
 </html>