Github star reminder

voltrevo · Aug 29, 2023 · c3169e6 · c3169e6
1 parent 4c28a78
commit c3169e6
Show file tree

Hide file tree

Showing 4 changed files with 76 additions and 19 deletions.
diff --git a/website/public/githubLogo.svg b/website/public/githubLogo.svg
diff --git a/website/src/index.html b/website/src/index.html
@@ -19,16 +19,16 @@
   </head>
   <body>
     <div id="main">
+      <div class="spacer"></div>
       <div id="content">
-        <p id="heading">ValueScript</p>
-        <p>A dialect of TypeScript with value semantics.</p>
+        <div id="headings">
+          <p id="heading">ValueScript</p>
+          <p>A dialect of TypeScript with value semantics.</p>
+        </div>
         <div><a href="playground/">Try the playground</a></div>
-        <div><a href="https://github.com/voltrevo/ValueScript">Learn more</a></div>
+        <div><a href="proceed-to-github.html"><img id="gh-logo" src="/githubLogo.svg">&nbsp;Learn More</a></div>
       </div>
-    </div>
-
-    <div style="display: none">
-      <a href="playground/index.html">Playground</a>
+      <div class="spacer"></div>
     </div>
   </body>
 </html>