[CHG] initial port to new theme

2015-07-08 13:24:24 +02:00
parent 43c5bd3a07
commit 705e0d56b2
159 changed files with 13769 additions and 11796 deletions
@@ -0,0 +1,9 @@
+// WebKit-style focus
+
+.tab-focus() {
+  // Default
+  outline: thin dotted;
+  // WebKit
+  outline: 5px auto -webkit-focus-ring-color;
+  outline-offset: -2px;
+}