another attempt at improving panel edit menu

2014-09-23 10:52:31 +02:00
parent 139791b0d8
commit bd3bae3af0
5 changed files with 120 additions and 12 deletions
@@ -62,7 +62,7 @@
  a {
    font-size: 1.2em;
    float: left;
-    padding: 2px 10px;
+    padding: 7px 10px;
    border-top: 1px solid black;
    border-right: 1px solid black;
    border-bottom: 1px solid black;
@@ -72,3 +72,7 @@
    border-left: 1px solid black;
  }
 }
+
+.panel-highlight  {
+  .box-shadow(~"inset 0 1px 1px rgba(0,0,0,.075), 0 0 8px rgba(82,168,236, 0.9)");
+}