docs: Fix formatting in devices_toc nav.

Bug ID: 19969806

Change-Id: I750c76057f6f29a588d59fb64525366976988ca0
1 file changed