From 7d1537e3ebfa5a0593d71c9b3febd7afc666c2eb Mon Sep 17 00:00:00 2001
From: Miraty <miraty@antopie.org>
Date: Thu, 11 Aug 2022 16:39:31 +0200
Subject: [PATCH] Use <nav> for indexes

---
 fn/common.php       | 17 +++++++--------
 public/css/main.css | 17 ++++++++-------
 public/index.php    | 50 +++++++++++++++++++++++----------------------
 3 files changed, 43 insertions(+), 41 deletions(-)

diff --git a/fn/common.php b/fn/common.php
index 5c73c4c..3382de8 100644
--- a/fn/common.php
+++ b/fn/common.php
@@ -62,17 +62,18 @@ function query($action, $table, $conditions = [], $column = NULL) {
 }
 
 function displayIndex() { ?>
-<dl>
+<nav>
+	<dl>
 <?php foreach (DESCRIPTIONS[SERVICE] as $pageId => $pageDesc) {
 	if ($pageId === 'index') continue;
 ?>
-	<dt><a href="<?= $pageId ?>"><?= TITLES[SERVICE][$pageId] ?></a></dt>
-	<dd>
-	<?= $pageDesc ?>
-
-	</dd>
-	<?php } ?>
-</dl>
+		<dt><a href="<?= $pageId ?>"><?= TITLES[SERVICE][$pageId] ?></a></dt>
+		<dd>
+			<?= $pageDesc ?>
+		</dd>
+<?php } ?>
+	</dl>
+</nav>
 <?php
 }
 
diff --git a/public/css/main.css b/public/css/main.css
index ae99e7b..315891a 100644
--- a/public/css/main.css
+++ b/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);
diff --git a/public/index.php b/public/index.php
index c1613af..3aaadab 100644
--- a/public/index.php
+++ b/public/index.php
@@ -1,28 +1,30 @@
 <?php require "../common/html.php"; ?>
 
-<dl>
-	<dt><a class="auth" href="auth/"><?= TITLES['auth']['index'] ?></a></dt>
-	<dd>
-		<?= DESCRIPTIONS['auth']['index'] ?>
-	</dd>
-<?php if(CONF['reg']['enabled'] === true) { ?>
-	<dt><a class="reg" href="reg/"><?= TITLES['reg']['index'] ?></code></a></dt>
-	<dd>
-		<?= DESCRIPTIONS['reg']['index'] ?>
-	</dd>
-<?php } ?>
-<?php if(CONF['ns']['enabled'] === true) { ?>
-	<dt><a class="ns" href="ns/"><?= TITLES['ns']['index'] ?></a></dt>
-	<dd>
-		<?= DESCRIPTIONS['ns']['index'] ?>
-	</dd>
-<?php } ?>
-<?php if(CONF['ht']['enabled'] === true) { ?>
-	<dt><a class="ht" href="ht/"><?= TITLES['ht']['index'] ?></a></dt>
-	<dd>
-		<?= DESCRIPTIONS['ht']['index'] ?>
-	</dd>
-<?php } ?>
-</dl>
+<nav>
+	<dl>
+		<dt><a class="auth" href="auth/"><?= TITLES['auth']['index'] ?></a></dt>
+		<dd>
+			<?= DESCRIPTIONS['auth']['index'] ?>
+		</dd>
+	<?php if(CONF['reg']['enabled'] === true) { ?>
+		<dt><a class="reg" href="reg/"><?= TITLES['reg']['index'] ?></code></a></dt>
+		<dd>
+			<?= DESCRIPTIONS['reg']['index'] ?>
+		</dd>
+	<?php } ?>
+	<?php if(CONF['ns']['enabled'] === true) { ?>
+		<dt><a class="ns" href="ns/"><?= TITLES['ns']['index'] ?></a></dt>
+		<dd>
+			<?= DESCRIPTIONS['ns']['index'] ?>
+		</dd>
+	<?php } ?>
+	<?php if(CONF['ht']['enabled'] === true) { ?>
+		<dt><a class="ht" href="ht/"><?= TITLES['ht']['index'] ?></a></dt>
+		<dd>
+			<?= DESCRIPTIONS['ht']['index'] ?>
+		</dd>
+	<?php } ?>
+	</dl>
+</nav>
 
 <?php closeHTML(); ?>