From 3e1cda5e132586b03da7de5922a8c13de054634b Mon Sep 17 00:00:00 2001
From: ForklessAnon <REDACTED@gmail.com>
Date: Fri, 31 Oct 2014 18:34:38 -0500
Subject: [PATCH] Fix for options panel contents exceeding available space.

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

diff --git a/stylesheets/style.css b/stylesheets/style.css
index f21409a0..b574a9f7 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -883,6 +883,7 @@ pre {
   bottom: 0px;
   height: 100%;
   border-right: 1px solid black;
+  overflow-y: auto;
 }
 
 .options_tab_icon {
@@ -912,6 +913,7 @@ pre {
   right: 0px;
   text-align: left;
   font-size: 12px;
+  overflow-y: auto;
 }
 
 .options_tab h2 {