Add Mono theme

2025-08-18 16:50:55 +02:00
parent 710e63afda
commit 7432ac7d4d
2559 changed files with 493878 additions and 0 deletions
--- a/HTML5/Documentation/assets/css/font-awesome/less/_larger.less
+++ b/HTML5/Documentation/assets/css/font-awesome/less/_larger.less
@@ -0,0 +1,27 @@
+// Icon Sizes
+// -------------------------
+
+.larger(@factor) when (@factor > 0) {
+  .larger((@factor - 1));
+
+  .@{fa-css-prefix}-@{factor}x {
+    font-size: (@factor * 1em);
+  }
+}
+
+/* makes the font 33% larger relative to the icon container */
+.@{fa-css-prefix}-lg {
+  font-size: (4em / 3);
+  line-height: (3em / 4);
+  vertical-align: -.0667em;
+}
+
+.@{fa-css-prefix}-xs {
+  font-size: .75em;
+}
+
+.@{fa-css-prefix}-sm {
+  font-size: .875em;
+}
+
+.larger(10);