From 55fc03fda4e425ecec40685e6efb6988990eb87c Mon Sep 17 00:00:00 2001
From: yannickoo <github@yannickoo.de>
Date: Thu, 21 Mar 2013 18:37:23 +0100
Subject: [PATCH] No Scrolling for more than approximately 10 Applications

---
 core/css/styles.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/css/styles.css b/core/css/styles.css
index 0725e65896..4f3ad016c9 100644
--- a/core/css/styles.css
+++ b/core/css/styles.css
@@ -242,10 +242,10 @@ fieldset.warning a { color:#b94a48 !important; font-weight:bold; }
 
 /* NAVIGATION ------------------------------------------------------------- */
 #navigation {
-	position:fixed; top:3.5em; float:left; width:64px; padding:0; z-index:75; height:100%;
+	position:fixed; float:left; width:64px; padding-top:3.5em; z-index:75; height:100%;
 	background:#383c43 url('../img/noise.png') repeat; border-right:1px #333 solid;
 	-moz-box-shadow:0 0 7px #000; -webkit-box-shadow:0 0 7px #000; box-shadow:0 0 7px #000;
-	overflow:hidden;
+	overflow:hidden; box-sizing:border-box; -moz-box-sizing:birder-box;
 }
 #navigation:hover { overflow-y:auto; }
 #navigation a {
-- 
GitLab