From 9084588fa0013ee1a2de00badaedddf367453613 Mon Sep 17 00:00:00 2001 From: Zankaria Date: Sat, 27 Apr 2024 19:35:33 +0200 Subject: [PATCH] style.css: better user options panel on mobile --- stylesheets/style.css | 11 +++-------- 1 file changed, 3 insertions(+), 8 deletions(-) diff --git a/stylesheets/style.css b/stylesheets/style.css index f141b832..0372ac81 100644 --- a/stylesheets/style.css +++ b/stylesheets/style.css @@ -1040,16 +1040,10 @@ pre { } #options_div { - width: 600px; - height: 360px; -/* width: 620px; + width: 620px; height: 400px; - resize: both; - overflow: auto;*/ } - - #alert_div { width: 500px; } @@ -1126,7 +1120,8 @@ pre { display: block; width: 100%; height: 100%; - margin-top: 0px; + max-width: 620px; + margin: auto; } .mentioned {