From 93109586527435f7c19b6b44b9b2401967db8bfb Mon Sep 17 00:00:00 2001
From: Zankaria <zankaria.auxa@skiff.com>
Date: Tue, 7 Jan 2025 19:51:02 +0100
Subject: [PATCH] style.css: use media queries for sizing the options

---
 stylesheets/style.css | 28 +++++++++++++++++-----------
 1 file changed, 17 insertions(+), 11 deletions(-)

diff --git a/stylesheets/style.css b/stylesheets/style.css
index d38d9547..80dc69e0 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -899,18 +899,32 @@ pre {
   margin-top: 20px;
   background: inherit;
   visibility: visible;
+
+  @media (max-width: 48em) {
+    display: block;
+    width: 100%;
+    height: 100%;
+    margin: auto;
+  }
 }
 
 #options_div {
-  width: 620px;
-  height: 400px;
   resize: both;
   overflow: auto;
   border: 1px solid;
+
+  @media (min-width: 48em) {
+    width: 620px;
+    height: 400px;
+  }
 }
 
 #alert_div {
-  width: 500px;
+  max-width: 620px;
+
+  @media (min-width: 48em) {
+    width: 500px;
+  }
 }
 
 #alert_message {
@@ -980,14 +994,6 @@ pre {
   margin-bottom: 5px;
 }
 
-.mobile-style #options_div, .mobile-style #alert_div {
-  display: block;
-  width: 100%;
-  height: 100%;
-  max-width: 620px;
-  margin: auto;
-}
-
 .mentioned {
   word-wrap: break-word;
 }