div.plugin-toggle {
- padding: 10px;
+ margin: 3px;
+ padding: 5px;
border-style: dotted;
border-width: 1px;
}
-p.plugin-show {
+div.plugin, div.plugin-toggle {
+ border-radius: 8px;
+}
+h4.plugin-show {
cursor: s-resize;
}
-p.plugin-hide {
+h4.plugin-hide {
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 {
+ font-size: 130%;
+ font-style: italic;
+ font-weight: normal;
+ padding: 4px;
+ color: #808080;
+}
+a.plugin-tooltip:hover {
+ color: #102050;
+ text-decoration: none;
+}