some simple js to switch location using the dropdown on mobiles
some polish for the docs nav/content responsiveness