mobilenav.js inlined

mobilenav.js (minified navbar collapse/uncollapse script) is small and
specific to this style.