We have put out another minor update for formatting - primarily around the navigation in pages. If things look wonky, do a hard browser cache reset please!

• Fixed jump links in pages cutting off the header of the section you are jumping to.
• Added collapsing in in-page navigation, with everything auto-collapsed on load.
• Adjusted date formatting to be in mostly ISO format (year/month/day).