nav.js: set exact height to remove scroll

Author: pepc84

assets/nav.js

@@ -138,6 +138,7 @@
               scrollbarStyle: 'null',
               viewportMargin: Infinity,
             });
+            cm.setSize('100%', cm.defaultTextHeight() * cm.lineCount() + 10);
           });
         });
       });