From 02d390e66928a9b8dd00629a32fbab4eaddd3ad9 Mon Sep 17 00:00:00 2001
From: benweet <benoit.schweblin@gmail.com>
Date: Sun, 19 May 2013 20:26:37 +0100
Subject: [PATCH] SSH server publishing

---
 css/main.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/css/main.css b/css/main.css
index d16b9840..9b6c3489 100644
--- a/css/main.css
+++ b/css/main.css
@@ -193,6 +193,11 @@ hr {
     margin: 30px 0;
 }
 
+#file-selector {
+    max-height: 500px;
+    overflow-y: auto;
+}
+
 #file-title {
     line-height: 23px;
     padding: 9px 15px 11px;