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 {