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 {