Formatting code and nav