Make source files sidebar scrolling independant

Author: GuillaumeGomez

templates/style/base.scss

@@ -812,6 +812,17 @@ ul.pure-menu-list {
         }
     }
 
+    #side-menu {
+        position: relative;
+
+        .package-menu {
+            position: absolute;
+            top: 0;
+            bottom: 0;
+            overflow: auto;
+        }
+    }
+
     #side-menu.collapsed {
         max-width: 46px;
 
@@ -834,6 +845,7 @@ ul.pure-menu-list {
     #source-code {
         pre {
             margin-top: 0;
+            margin-bottom: 0;
         }
 
         &.expanded {