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