Some style tweaks for navigator.
File rename in preparation for spinning out ONMjs as a separate library.