From af69e74a76f07b87c4d45c87e90152a1eee0f8cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20=C3=96man?= <andreas@lonelycoder.com>
Date: Tue, 8 Apr 2008 19:56:32 +0000
Subject: [PATCH] Make the border box slightly smaller

---
 ajaxui/ajaxui.c   | 6 +-----
 ajaxui/ajaxui.css | 9 ---------
 2 files changed, 1 insertion(+), 14 deletions(-)

diff --git a/ajaxui/ajaxui.c b/ajaxui/ajaxui.c
index d72731a6..88d435bc 100644
--- a/ajaxui/ajaxui.c
+++ b/ajaxui/ajaxui.c
@@ -104,9 +104,7 @@ ajax_box_begin(tcp_queue_t *tq, ajax_box_t type,
 		"<b class=\"borderbox\">"
 		"<b class=\"borderbox1\"><b></b></b>"
 		"<b class=\"borderbox2\"><b></b></b>"
-		"<b class=\"borderbox3\"></b>"
-		"<b class=\"borderbox4\"></b>"
-		"<b class=\"borderbox5\"></b></b>"
+		"<b class=\"borderbox3\"></b></b>"
 		"<div class=\"borderboxfg\" %s%s>\r\n",
 		id0, style0);
 
@@ -141,8 +139,6 @@ ajax_box_end(tcp_queue_t *tq, ajax_box_t type)
     tcp_qprintf(tq,
 		"</div>"
 		"<b class=\"borderbox\">"
-		"<b class=\"borderbox5\"></b>"
-		"<b class=\"borderbox4\"></b>"
 		"<b class=\"borderbox3\"></b>"
 		"<b class=\"borderbox2\"><b></b></b>"
 		"<b class=\"borderbox1\"><b></b></b></b>"
diff --git a/ajaxui/ajaxui.css b/ajaxui/ajaxui.css
index 6b6d552a..39830a09 100644
--- a/ajaxui/ajaxui.css
+++ b/ajaxui/ajaxui.css
@@ -189,15 +189,6 @@ img { border: 0; }
   border-right:1px solid #000;
 }
 
-.borderbox4 {
-  border-left:1px solid  #000;
-  border-right:1px solid #000;
-}
-
-.borderbox5 {
-  border-left:1px solid  #000;
-  border-right:1px solid #000;
-}
 
 .borderboxfg {
   border-left:1px solid  #000;