@@ -11,7 +11,7 @@
<ul class="menu-root">
<% site.pages.find({type: type}).sort('order').each(function (p) { %>
<% var path = p.path.replace(/index\.html$/, ''); %>
- <% // https://github.com/vuejs/vuejs.org/blob/master/themes/vue/layout/partials/toc.ejs %>
+ <% // see https://github.com/vuejs/vuejs.org/blob/master/themes/vue/layout/partials/toc.ejs %>
<% if (path === 'docs/plugins/') { %>
<li>
<h3><a href="/docs/plugins/">Plugins</a></h3>
@@ -18,6 +18,7 @@
transition: all .4s cubic-bezier(0.4, 0, 0, 1);
transform: translate(-280px, 0);
z-index: 10;
+ overflow-y: scroll;
.main-menu {
margin-bottom: 20px;