More Formatting Changes

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).