--- a/Cookbook/main.html	Tue Jun 11 21:43:45 2019 +0100
+++ b/Cookbook/main.html	Tue Jun 11 23:17:29 2019 +0100
@@ -85,8 +85,10 @@
 
 There is also the following mailing list that is subscribed by all developers
 and open for help, suggestions etc. about this project.
-<p>
-  <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
+
+<ul>
+<li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A>
+</ul>
 <BR>
 <p>