vertical scrollbar for app navigation when too many apps

diff --git a/core/css/styles.css b/core/css/styles.css
index 2b5f1222c0279c2fbe1c76de49db4dad625443b1..ede06bb548f68b37aea9b5521d6d74ebc036b584 100644 (file)
--- a/core/css/styles.css
+++ b/core/css/styles.css
@@ -184,7 +184,12 @@ fieldset.warning legend { color:#b94a48 !important; }
 
 
 /* NAVIGATION ------------------------------------------------------------- */
-#navigation { position:fixed; top:3.5em; float:left; width:64px; padding:0; z-index:75; height:100%; background:#30343a 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;}
+#navigation {
+       position:fixed; top:3.5em; float:left; width:64px; padding:0; z-index:75; height:100%;
+       background:#30343a 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-x:scroll;
+}
 #navigation a {
        display:block; padding:8px 0 4px;
        text-decoration:none; font-size:10px; text-align:center;