tree ae8aa02bd26f2cc9b84a3fed5fe9a532f7a3bdd8
parent 134166e17c8ae4b2757462f53cc50891cff7af03
author Gina Dimino <gdimino@google.com> 1428426302 -0700
committer Gina Dimino <gdimino@google.com> 1428443187 -0700

docs: Fix formatting in devices_toc nav.

Bug ID: 19969806

Change-Id: I750c76057f6f29a588d59fb64525366976988ca0