From 8dc48c50c39fb754e1ca5d5f5cdbc9f43c0175c4 Mon Sep 17 00:00:00 2001
From: wholelotofhs <wholelotofhs@gmail.com>
Date: Thu, 20 Nov 2014 14:33:25 -0500
Subject: [PATCH] Update style.css

---
 stylesheets/style.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stylesheets/style.css b/stylesheets/style.css
index bebd4813..f542ec36 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -858,7 +858,7 @@ pre {
 
 #options_div {
   width: 600px;
-  height: 300px;
+  height: 320px;
 }
 
 #alert_div {