From 075fc075c20422a6b4a39dcb9a94e1865307ffaf Mon Sep 17 00:00:00 2001 From: Jacob Parker Date: Wed, 22 Feb 2012 19:36:39 -0500 Subject: [PATCH] unstomped the logo and the headerbar --- src/web.d | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/web.d b/src/web.d index ea230fc..e94b520 100755 --- a/src/web.d +++ b/src/web.d @@ -65,14 +65,24 @@ void do_header() { html_push("
"); html_push("
"); + + html_push("
"); + html("wiki"); + html("git"); + html("mirror"); + html("stats"); + html("mail"); + html_pop("
"); + html_push("
"); html("changelog"); html_pop("
"); + html_pop("
"); html_push("
"); html_push("

"); - html("" ~ site_title ~ " " ~ site_subtitle ~ ""); + html(" " ~ site_subtitle ~ ""); html_pop("

"); html_pop("
");