Merge "docs: Fix formatting in devices_toc nav."