From f9d1562513312aa5bcb920410645eedb543aef68 Mon Sep 17 00:00:00 2001
From: Dave Davenport <qball@gmpclient.org>
Date: Wed, 25 Oct 2017 17:51:00 +0200
Subject: [PATCH] [Default theme] Fix border width message box

---
 include/default-theme.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/default-theme.h b/include/default-theme.h
index f866d49f..5ece964b 100644
--- a/include/default-theme.h
+++ b/include/default-theme.h
@@ -69,7 +69,7 @@ const char *default_theme =
     "    padding: 0;"
     "}"
     "#message {"
-    "    border:  1px dash 0px 0px ;"
+    "    border:  2px dash 0px 0px ;"
     "    padding: 2px 0px 0px ;"
     "    border-color: @separatorcolor;"
     "}"