Adding a floating navigation menu to Bootcamp how-to.  Fix for #434