From c31760390c0d692f9d14b97ab622ec7aad422d48 Mon Sep 17 00:00:00 2001 From: 8chan Date: Wed, 31 Dec 2014 22:40:48 -0800 Subject: [PATCH] Need a taller options_div --- stylesheets/style.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stylesheets/style.css b/stylesheets/style.css index eb7b0f79..cb12e5f9 100644 --- a/stylesheets/style.css +++ b/stylesheets/style.css @@ -859,7 +859,7 @@ pre { #options_div { width: 600px; - height: 300px; + height: 360px; } #alert_div {