From 6814c4d77bf18fe101e27045ff74a49b7cb0192f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Wed, 11 Sep 2013 11:11:54 +0200
Subject: [PATCH] a lingering cosmetic change for outlined plugins

---
 unfold/css/plugin.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/unfold/css/plugin.css b/unfold/css/plugin.css
index 88113322..949e79bb 100644
--- a/unfold/css/plugin.css
+++ b/unfold/css/plugin.css
@@ -7,8 +7,9 @@ div.plugin-toggle {
 div.plugin, div.plugin-toggle {
 }
 div.plugin-outline-complete, div.plugin-outline-body {
-    border-radius:	8px;
     border:		1px solid;
+    border-radius:	8px;
+    border-color:	#ccc;
     padding:		5px;
     margin:		5px;
 }
-- 
2.43.0