From 7d7e7d29e867f019c1de7f1f79e343986f2a618f Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Tue, 19 Mar 2013 21:48:50 +0100
Subject: [PATCH] improved look of plugins

---
 unfold/css/plugin.css        | 13 ++++++++++++-
 unfold/templates/plugin.html |  8 ++++----
 2 files changed, 16 insertions(+), 5 deletions(-)

diff --git a/unfold/css/plugin.css b/unfold/css/plugin.css
index 886ceb95..d2da242a 100644
--- a/unfold/css/plugin.css
+++ b/unfold/css/plugin.css
@@ -2,6 +2,7 @@ div.plugin-toggle {
     padding:		4px;
     border-style:	dotted;
     border-width:	1px;
+    border-radius:	8px;
 }
 p.plugin-show {
     cursor: s-resize;
@@ -9,6 +10,16 @@ p.plugin-show {
 p.plugin-hide { 
     cursor: n-resize;
 }
-p.plugin-show,i.icon-hand-right, p.plugin-hide,i.icon-hand-down {
+i.icon-hand-right,i.icon-hand-down {
     padding-right: 4px;
 }
+a.plugin-tooltip { 
+    font-size: 150%;
+    font-style: italic;
+    padding: 4px;
+    color: #808080;
+}
+a.plugin-tooltip:hover { 
+    color: #102050; 
+    text-decoration: none;
+}
diff --git a/unfold/templates/plugin.html b/unfold/templates/plugin.html
index 7d36d10c..1979eb95 100644
--- a/unfold/templates/plugin.html
+++ b/unfold/templates/plugin.html
@@ -2,10 +2,10 @@
 {% if visible %}
 <div class='plugin-toggle{% if need_spin %} need-spin{% endif %}' id='toggle-{{ domid }}'>
 {% if togglable %}
-<p id='show-{{ domid }}' class='plugin-show'{% if toggled %} style='display:none;'{% endif %}><i class="icon-hand-right"></i>
-<a href='#' class='plugin-tooltip' data-toggle='tooltip' data-original-title='Show plugin "{{ title }}" ({{ classname }})'>{{ title }}</a></p>
-<p id='hide-{{ domid }}' class='plugin-hide'{% if not toggled %} style='display:none;'{% endif %}><i class="icon-hand-down"></i>
-<a href='#' class='plugin-tooltip' data-toggle='tooltip' data-original-title='Hide plugin "{{ title }}" ({{ classname }})'>{{ title }}</a></p>
+<span id='show-{{ domid }}' class='plugin-show'{% if toggled %} style='display:none;'{% endif %}><i class="icon-hand-right"></i>
+<a href='#' class='plugin-tooltip' data-toggle='tooltip' data-original-title='Show plugin "{{ title }}" ({{ classname }})'>{{ title }}</a></span>
+<span id='hide-{{ domid }}' class='plugin-hide'{% if not toggled %} style='display:none;'{% endif %}><i class="icon-hand-down"></i>
+<a href='#' class='plugin-tooltip' data-toggle='tooltip' data-original-title='Hide plugin "{{ title }}" ({{ classname }})'>{{ title }}</a></span>
 {% endif %}{# togglable #}
 {% endif %}{# visible #}
 
-- 
2.43.0