use MAIN_WIDTH to control width

diff --git a/htmlui.c b/htmlui.c
index eedd22cd44c358bf5057de92f5cbf20fabcac433..476838b4d2d3550c2127f6b65512fd9f9c450a72 100644 (file)
--- a/htmlui.c
+++ b/htmlui.c
@@ -267,8 +267,8 @@ box_bottom(tcp_queue_t *tq)
 static void
 top_menu(http_connection_t *hc, tcp_queue_t *tq)
 {
-  tcp_qprintf(tq, "<div style=\"width: 800px; "
-             "margin-left: auto; margin-right: auto\">");
+  tcp_qprintf(tq, "<div style=\"width: %dpx; "
+             "margin-left: auto; margin-right: auto\">", MAIN_WIDTH);
 
   box_top(tq, "box");