am 256e1e6c: am 7775c813: Merge "docs: Fix formatting in devices_toc nav."

* commit '256e1e6c4f3a962e134ffab3c645150fa55c7288':
  docs: Fix formatting in devices_toc nav.