Convert pager navigation into a unordered list

It is common practice and semantically appropriate to use unordered
lists for long navigation lists.

This also fixes the layout of very long pager navigations in
Webkit-based browsers.

Signed-off-by: Lukas Fleischer <cgit@cryptocrack.de>

1 files changed, 4 insertions, 2 deletions

diff --git a/ui-repolist.c b/ui-repolist.c
index 66c88c4..a9751f6 100644
--- a/ui-repolist.c
+++ b/ui-repolist.c
@@ -128,13 +128,15 @@ static void print_pager(int items, int pagelen, char *search, char *sort)
 {
         int i, ofs;
         char *class = NULL;
-        html("<div class='pager'>");
+        html("<ul class='pager'>");
         for (i = 0, ofs = 0; ofs < items; i++, ofs = i * pagelen) {
                 class = (ctx.qry.ofs == ofs) ? "current" : NULL;
+                html("<li>");
                 cgit_index_link(fmt("[%d]", i + 1), fmt("Page %d", i + 1),
                                 class, search, sort, ofs);
+                html("</li>");
         }
-        html("</div>");
+        html("</ul>");
 }
 
 static int cmp(const char *s1, const char *s2)