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

* commit '7775c8139507f8e78449fff3a37a424f8c12a78a':
  docs: Fix formatting in devices_toc nav.