a lingering cosmetic change for outlined plugins
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 11 Sep 2013 09:11:54 +0000 (11:11 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 11 Sep 2013 09:11:54 +0000 (11:11 +0200)
unfold/css/plugin.css

index 8811332..949e79b 100644 (file)
@@ -7,8 +7,9 @@ div.plugin-toggle {
 div.plugin, div.plugin-toggle {
 }
 div.plugin-outline-complete, div.plugin-outline-body {
 div.plugin, div.plugin-toggle {
 }
 div.plugin-outline-complete, div.plugin-outline-body {
-    border-radius:     8px;
     border:            1px solid;
     border:            1px solid;
+    border-radius:     8px;
+    border-color:      #ccc;
     padding:           5px;
     margin:            5px;
 }
     padding:           5px;
     margin:            5px;
 }