stylesheet update

1 files changed, 2 insertions, 2 deletions

diff --git a/index.php b/index.php
index 2b47647..e1c058a 100755
--- a/index.php
+++ b/index.php
@@ -50,7 +50,7 @@ Terminal:     /dev/pts/1</pre>
       }
     ?></span><span style="font-size: .75em;">.observer</span></h1>
     <p>$ find ~ -type d</p>
-    <section class="dir">
+    <nav class="dir">
       <h2>net</h2>
       <a rel="me" class="subvert-color" href="https://www.subvert.fm/arthroplura">://subvert.fm</a>
       <a rel="me" class="bandcamp-color" href="https://arthroplura.bandcamp.com">://bandcamp</a>
@@ -65,7 +65,7 @@ Terminal:     /dev/pts/1</pre>
       <h2>inf</h2>
       <a href="credits">credits</a>
       <a href="license">license</a>
-    </section>
+    </nav>
     <?php
       if (isset($_GET["88x31"])) {
         echo("<p>$ imgcat ap_88x31.png</p><img src='images/ap_88x31.png' alt='arthroplura 88x31 button'><p>$</p>");