--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/assets/stylesheets/bootstrap/mixins/_tab-focus.scss	Thu Jun 15 12:17:09 2017 +0200
@@ -0,0 +1,9 @@
+// WebKit-style focus
+
+@mixin tab-focus() {
+  // Default
+  outline: thin dotted;
+  // WebKit
+  outline: 5px auto -webkit-focus-ring-color;
+  outline-offset: -2px;
+}