Interface navigation and source code page formatting