Squashed 'external/fmt/' content from commit e1832bcf

git-subtree-dir: external/fmt git-subtree-split: e1832bcf00ed53048aea1e4d2408a68301dcd50c
2024-01-23 08:37:20 +01:00
commit e7e2f15be5
213 changed files with 90089 additions and 0 deletions
--- a/doc/bootstrap/mixins/tab-focus.less
+++ b/doc/bootstrap/mixins/tab-focus.less
@@ -0,0 +1,9 @@
+// WebKit-style focus
+
+.tab-focus() {
+  // Default
+  outline: thin dotted;
+  // WebKit
+  outline: 5px auto -webkit-focus-ring-color;
+  outline-offset: -2px;
+}