From f04211fd01becfc8218b7fa81fe69108a5a89356 Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 23:38:13 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/ui/botui/fontawesome.css | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 js/ui/botui/fontawesome.css

diff --git a/js/ui/botui/fontawesome.css b/js/ui/botui/fontawesome.css
new file mode 100644
index 0000000..be48f52
--- /dev/null
+++ b/js/ui/botui/fontawesome.css
@@ -0,0 +1,21 @@
+/*!
+ *  Font Awesome v4.7.0 by @davegandy - http://fontawesome.io - @fontawesome
+ *  License - http://fontawesome.io/license (Font: SIL OFL 1.1, CSS: MIT License)
+ */
+@import url('font-awesome-css.min.css');
+/* FONT PATH
+ * -------------------------- */
+@font-face {
+  font-family: 'FontAwesome';
+  src: url('fonts/fontawesome-webfont.eot');
+  src: url('fonts/fontawesome-webfont.eot?#iefix') format('embedded-opentype'),
+       url('fonts/fontawesome-webfont.woff2') format('woff2'),
+       url('fonts/fontawesome-webfont.woff') format('woff'),
+       url('fonts/fontawesome-webfont.ttf') format('truetype'),
+       url('fonts/fontawesome-webfont.svg#fontawesomeregular') format('svg');
+  font-weight: normal;
+  font-style: normal;
+}
+/*
+Embed code ea731dcb6f
+*/