CSS updates

Mango0x45 · Aug 20, 2014 · d80252e · d80252e
1 parent 44f02e3
commit d80252e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/html/copy/style.css b/html/copy/style.css
@@ -162,6 +162,11 @@ a {
 	border: 0px;
 }
 
+.ui-autocomplete {
+	max-height: 300px;
+	overflow-y: scroll;
+}
+
 #header {
 	width: 100%;
 	background-color: #aaa;
@@ -279,6 +284,11 @@ a {
 	margin-bottom: 30px;
 }
 
+.function {
+	padding-left: .2em;
+	padding-right: .2em;
+}
+
 .refnamediv h2 {
 	display: none;
 }