index.html: Add star button

mkoeppe · mkoeppe · commit 441a7550cc93 · 2025-11-26T18:55:07.000-08:00
diff --git a/index.html b/index.html
@@ -1,8 +1,9 @@
 <html>
   <head>
-<title>passagemath: General purpose mathematical software system in Python, a fork of SageMath</title>
-</head>
-<body>
+    <title>passagemath: General purpose mathematical software system in Python, a fork of SageMath</title>
+    <script async defer src="https://buttons.github.io/buttons.js"></script>
+  </head>
+  <body>
   <h1 style="font-size: 5.9vw";>
     <div>
       <svg version="1.1" xmlns="http://www.w3.org/2000/svg"
@@ -21,8 +22,8 @@ <h1 style="font-size: 5.9vw";>
           <text x="425" y="1290" text-anchor="middle">documentation 10.6.x</text>
       </svg>
     </div>
-    <div style="position: absolute; top: 8px; left: 16px; ">passagemath</div>
+    <div style="position: absolute; top: 8px; left: 16px; ">passagemath <a class="github-button" href="https://github.com/passagemath/passagemath" data-color-scheme="no-preference: light; light: light; dark: dark;" data-icon="octicon-star" data-size="large" data-show-count="true" aria-label="Star passagemath/passagemath on GitHub">Star</a></div>
   </h1>
   Image credit: Z12_128 courtesy <a href="https://www.instagram.com/astrid_koeppe/">Astrid K&ouml;ppe</a>
-</body>
+  </body>
 </html>
