cosmetic changes to the plugin layout
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 20 Mar 2013 09:49:09 +0000 (10:49 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 20 Mar 2013 09:49:09 +0000 (10:49 +0100)
unfold/css/plugin.css
unfold/templates/plugin.html

index d2da242..910ff4f 100644 (file)
@@ -1,21 +1,26 @@
 div.plugin-toggle {
 div.plugin-toggle {
-    padding:           4px;
+    margin:            3px;
+    padding:           5px;
     border-style:      dotted;
     border-width:      1px;
     border-radius:     8px;
 }
     border-style:      dotted;
     border-width:      1px;
     border-radius:     8px;
 }
-p.plugin-show {
+h4.plugin-show {
     cursor: s-resize;
 }
     cursor: s-resize;
 }
-p.plugin-hide { 
+h4.plugin-hide { 
     cursor: n-resize;
 }
     cursor: n-resize;
 }
+h4.plugin-show, h4.plugin-hide {
+    margin:8px;
+}
 i.icon-hand-right,i.icon-hand-down {
     padding-right: 4px;
 }
 a.plugin-tooltip { 
 i.icon-hand-right,i.icon-hand-down {
     padding-right: 4px;
 }
 a.plugin-tooltip { 
-    font-size: 150%;
+    font-size: 130%;
     font-style: italic;
     font-style: italic;
+    font-weight: normal;
     padding: 4px;
     color: #808080;
 }
     padding: 4px;
     color: #808080;
 }
index 1979eb9..c77ad6f 100644 (file)
@@ -2,10 +2,10 @@
 {% if visible %}
 <div class='plugin-toggle{% if need_spin %} need-spin{% endif %}' id='toggle-{{ domid }}'>
 {% if togglable %}
 {% if visible %}
 <div class='plugin-toggle{% if need_spin %} need-spin{% endif %}' id='toggle-{{ domid }}'>
 {% if togglable %}
-<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>
+<h4 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></h4>
+<h4 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></h4>
 {% endif %}{# togglable #}
 {% endif %}{# visible #}
 
 {% endif %}{# togglable #}
 {% endif %}{# visible #}