Merge commit 'e7e2f15be55d8dc1be4904b58309f8bf448ff713' as 'external/fmt'

2024-01-23 08:37:20 +01:00
parent 94bf39f9f5 e7e2f15be5
commit 84232cb85d
213 changed files with 90089 additions and 0 deletions
--- a/external/fmt/doc/bootstrap/mixins/labels.less
+++ b/external/fmt/doc/bootstrap/mixins/labels.less
@@ -0,0 +1,12 @@
+// Labels
+
+.label-variant(@color) {
+  background-color: @color;
+
+  &[href] {
+    &:hover,
+    &:focus {
+      background-color: darken(@color, 10%);
+    }
+  }
+}