Use <nav> for indexes

fn/common.php

@@ -62,6 +62,7 @@ function query($action, $table, $conditions = [], $column = NULL) {
 }
 
 function displayIndex() { ?>
+<nav>
 	<dl>
 <?php foreach (DESCRIPTIONS[SERVICE] as $pageId => $pageDesc) {
 	if ($pageId === 'index') continue;
@@ -69,10 +70,10 @@ function displayIndex() { ?>
 		<dt><a href="<?= $pageId ?>"><?= TITLES[SERVICE][$pageId] ?></a></dt>
 		<dd>
 			<?= $pageDesc ?>
-
 		</dd>
 <?php } ?>
 	</dl>
+</nav>
 <?php
 }
 

public/css/main.css

@@ -37,20 +37,15 @@ header, main > *:not(table, pre), footer {
 	max-width: 40rem;
 }
 
+main > nav {
+	max-width: 30rem;
+}
+
 header, main > *, footer {
 	margin-left: auto;
 	margin-right: auto;
 }
 
-code {
-	line-height: var(--font-size) + 6%;
-	font-size: var(--font-size);
-}
-
-nav {
-	display: inline-block;
-}
-
 header {
 	text-align: center;
 	margin-top: 0.8rem;
@@ -73,6 +68,10 @@ abbr {
 	text-decoration: underline 0.2em dotted;
 }
 
+pre {
+	margin: 0;
+}
+
 a {
 	text-decoration: underline var(--svc-color) 0.2em;
 	color: var(--foreground-color);

public/index.php

@@ -1,5 +1,6 @@
 <?php require "../common/html.php"; ?>
 
+<nav>
 	<dl>
 		<dt><a class="auth" href="auth/"><?= TITLES['auth']['index'] ?></a></dt>
 		<dd>
@@ -24,5 +25,6 @@
 		</dd>
 	<?php } ?>
 	</dl>
+</nav>
 
 <?php closeHTML(); ?>