From 9218a808ddf5681e986cbe0dbc4588d21a1f8d78 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20Nicolaysen=20S=C3=B8rnes?=
 <alex@thehandofagony.com>
Date: Sun, 5 Apr 2009 20:19:50 +0200
Subject: [PATCH] Add borders around the notes added by addmsg()

---
 application.css  | 3 +++
 include/incl.php | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/application.css b/application.css
index 07b957b..91e29d8 100644
--- a/application.css
+++ b/application.css
@@ -72,6 +72,9 @@ div.note_body { padding: 10px; background-color: #ffe732; }
 div.note_title { font-weight: bold; border-bottom: 1px solid; padding: 4px;
                  font-size: 140%; background-color: #ffc004; }
 
+/* Boxes for session notes, as used by addmsg() */
+div.session_note { border: 1px solid; margin-bottom: 5px;}
+
 /* classes for the main page */
 div.rating_header { padding: 8px; }
 div.rating_title { padding-bottom: 4px; font-weight: bold; font-size: 160%; }
diff --git a/include/incl.php b/include/incl.php
index d21047a..e47fb80 100644
--- a/include/incl.php
+++ b/include/incl.php
@@ -274,7 +274,7 @@ function dumpmsgbuffer()
         {
             if ($msg['color'] == "red")
                $msg['color'] = "{$msg['color']};text-decoration:blink";
-            echo "<div align=\"center\" style=\"font-color:{$msg['color']};\"> {$msg['msg']} </div>";
+            echo "<div align=\"center\" class=\"session_note\" style=\"font-color:{$msg['color']};\"> {$msg['msg']} </div>";
         }
         echo html_frame_end("&nbsp;");
         echo "<br>\n";