improved look of plugins
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 20:48:50 +0000 (21:48 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 19 Mar 2013 20:48:50 +0000 (21:48 +0100)
unfold/css/plugin.css
unfold/templates/plugin.html

index 886ceb9..d2da242 100644 (file)
@@ -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;
+}
index 7d36d10..1979eb9 100644 (file)
@@ -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 #}