Update nav (#40)

Author: fabiomadge

index.html

@@ -27,17 +27,16 @@ <h1>The Dafny Programming and Verification Language</h1>
 </header>
 
 <nav>
-<h2>Quick Links</h2>
 <ul>
-<li><a href="https://github.com/dafny-lang/dafny/wiki/INSTALL"><b>Installation</b></a>
-     (or a <a href="https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode">VSCode plugin for Dafny</a>)</li>
-<li><a href="./latest/DafnyRef/DafnyRef">Dafny Reference Manual and User Guide</a></li>
-<li><a href="./latest/toc">Dafny Resources for Users</a></li>
-<li><a href="https://github.com/dafny-lang/dafny">Dafny GitHub project (for developers of the Dafny tools themselves)</a></li>
-<li><a href="Snapshots">Other documentation snapshots</a></li>
-<li><a href="https://mitpress.mit.edu/9780262546232/program-proofs"><i><b note="We can deemphasize this announcement on March 2024 or later">Book on Program Proofs using Dafny!:</b></i> <I>Program Proofs</i>, by Rustan Leino, MIT Press</a></li>
+<li><a href="./latest/Installation">Install</a>
+     (or just use the VS Code <a href="https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode">extension</a>)</li>
+<li><a href="./latest/DafnyRef/DafnyRef">Reference Manual and User Guide</a></li>
+<li><a href="./latest/toc">Resources for Users</a></li>
+<li><a href="./blog">Blog</a></li>
+<li><a href="https://github.com/dafny-lang/dafny">Contribute on GitHub</a></li>
+<li><a href="./Snapshots">Documentation snapshots</a></li>
+<li><a href="https://mitpress.mit.edu/9780262546232/program-proofs"><i>Program Proofs</i>, by Rustan Leino, MIT Press</a></li>
 </ul>
-<h2><a href="https://dafny.org/blog"><b>Blog</b></a><iframe src="/blog/" style="display:none"></iframe></h2>
 </nav>
 
 <main>
@@ -88,11 +87,5 @@ <h2><a href="https://dafny.org/blog"><b>Blog</b></a><iframe src="/blog/" style="
 <figcaption>Dafny running in Visual Studio Code</figcaption>
 </figure>
 </main>
-<script>
-var frame = document.querySelector("iframe");
-frame.addEventListener( "load", function(e) {
-  frame.outerHTML = x.contentWindow.document.querySelector("ul.post-list").outerHTML
-} );
-</script>
 </body>
 </html>