From 72767b3b1e0ae3352b6d0c3670b74dc55d2f9738 Mon Sep 17 00:00:00 2001
From: RossAscends <124905043+RossAscends@users.noreply.github.com>
Date: Fri, 14 Apr 2023 04:43:29 +0900
Subject: [PATCH] options_button is now webfont

---
 public/index.html |  4 ++--
 public/style.css  | 12 +++++-------
 2 files changed, 7 insertions(+), 9 deletions(-)

diff --git a/public/index.html b/public/index.html
index 4cb054aa6..cacc00f5d 100644
--- a/public/index.html
+++ b/public/index.html
@@ -1749,8 +1749,8 @@
                 <div id="dialogue_del_mes_cancel" class="menu_button">Cancel</div>
             </div>
             <form id="send_form">
-                <div id="options_button">
-                    <div id="options">
+                <div id="options_button" class="fa-solid fa-bars">
+                    <div id="options" class="font-family-reset">
                         <div class="options-content">
                             <a id="option_back_to_main">
                                 <div class="fa-solid fa-left-long "></div>
diff --git a/public/style.css b/public/style.css
index cd40f8729..5955de743 100644
--- a/public/style.css
+++ b/public/style.css
@@ -305,15 +305,13 @@ code {
     transition: color .25s ease-in-out;
     padding-left: 10px;
     padding-top: 0;
-
+    font-size: 30px;
 }
 
-#options_button:after {
-    content: '\2630';
-    text-decoration: none;
-    font-size: calc(var(--mainFontSize) + .5rem);
-
-
+.font-family-reset {
+    font-family: "Noto Sans", "Noto Color Emoji", sans-serif;
+    font-size: var(--mainFontSize);
+    font-weight: 400;
 }
 
 #options_button:hover {