From 8981315acaab44fcac7b9c4b5665f24f0afcc2da Mon Sep 17 00:00:00 2001
From: Lassi Kortela <lassi@lassi.io>
Date: Wed, 3 Aug 2022 20:12:41 +0300
Subject: [PATCH] Change <dl> to <ul>

---
 www/index.html | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

diff --git a/www/index.html b/www/index.html
index 8b7fab9..c5b60ed 100644
--- a/www/index.html
+++ b/www/index.html
@@ -41,20 +41,20 @@ object
 the applications and implementation techniques we have looked at using
 Kali Scheme include: </p>
 <p></p>
-<dl>
-  <dd> User-level load balancing
-and migration. </dd>
-  <dd> Incremental distributed
-linking of code objects. </dd>
-  <dd> Parameterized client-server
-applications. </dd>
-  <dd> Long-lived parallel
-computations. </dd>
-  <dd> Distributed data mining. </dd>
-  <dd> Executable content in
+<ul>
+  <li> User-level load balancing
+and migration. </li>
+  <li> Incremental distributed
+linking of code objects. </li>
+  <li> Parameterized client-server
+applications. </li>
+  <li> Long-lived parallel
+computations. </li>
+  <li> Distributed data mining. </li>
+  <li> Executable content in
 messages over wide-area networks (e.g. the
-World-Wide Web) </dd>
-</dl>
+World-Wide Web) </li>
+</ul>
 <h2>Related papers</h2>
 <p>
 Kali Scheme is described in