Link from project page to its tickets

templates/project/project.hamlet

@@ -14,28 +14,14 @@ $# <http://creativecommons.org/publicdomain/zero/1.0/>.
 
 <h1>Vervis > People > #{user} > Projects > #{proj}
 
-<h2>About
 <p>This is the project page for <b>#{proj}</b>, shared by <b>#{user}</b>.
 
-<h2>Details
-<table>
-  <tr>
-    <td>Human-friendly name
-    <td>
-      $maybe name <- projectName project
-        #{name}
-      $nothing
-        (none)
-  <tr>
-    <td>Description
-    <td>
-      $maybe desc <- projectDesc project
-        #{desc}
-      $nothing
-        (none)
-
-<h2>Repos
-
-<p>
-  See
-  <a href=@{ReposR user}>repos</a>.
+<ul>
+  <li>
+    Human-friendly name: #{fromMaybe "(none)" $ projectName project}
+  <li>
+    Description: #{fromMaybe "(none)" $ projectDesc project}
+  <li>
+    TODO list the project's repos here, or link to a separate page that does
+  <li>
+    <a href=@{TicketsR user proj}>Tickets