From 690e0682f65a5deee702741da1a2a3c67a61e739 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 9 Apr 2013 17:29:53 +0200
Subject: [PATCH] nicer when lines need to be wrapped

---
 plugins/messages/messages.css | 29 +++++++++++++++++++----------
 1 file changed, 19 insertions(+), 10 deletions(-)

diff --git a/plugins/messages/messages.css b/plugins/messages/messages.css
index 75530783..c8de0c6c 100644
--- a/plugins/messages/messages.css
+++ b/plugins/messages/messages.css
@@ -1,25 +1,34 @@
+/* the buttons area */
 div.messages-buttons { padding: 0px 20px 8px 50px; }
-div.messages-buttons>input { margin: 10px; }
+div.messages-buttons>input { margin: 3px 10px 3px 20px ; }
 div.messages-buttons>span { font-weight: bold; }
 
+/* layout of messages per se */
 ul.messages {
     list-style-type: none;
-}
-/* someone please feel free to pick a better set of colors */
-li.fatal { background-color: CornflowerBlue;}
-li.error { background-color: Coral; }
-li.warning { background-color: Gold; }
-li.info { background-color: LightGreen; }
-li.debug { background-color: Azure; } 
+    /* a trick so that long lines wrap nicely */
+    padding-left: 280px;
+    text-indent: -280px;
 
+}
 span.messages-date { 
     font-size: 75%;
-    padding: 0px 1em 0px 2em;
+    width: 200px ;
+    float: center;
+    padding: 0px 10px 0px 10px;
 }
 
 span.messages-level {
+    font-size: 90%;
     float: left;
     width: 40px;
-    font-size: 90%;
 }
 
+/* someone please feel free to pick a better set of colors */
+li.fatal { background-color: CornflowerBlue;}
+li.error { background-color: Coral; }
+li.warning { background-color: Gold; }
+li.info { background-color: LightGreen; }
+li.debug { background-color: Azure; } 
+
+
-- 
2.43.0