tree 338f13adac0036599943061d2fabfd673479643e
parent 4ff586d1c6fc5c40e1548cd6f221a8a7f3ad033b
author Chris Luke <chrisy@flirble.org> 1506539388 -0400
committer Florin Coras <florin.coras@gmail.com> 1506560696 +0000

General documentation updates

- We now have several developer-focused docs, so create an index page
  for them.
- Rework several docs to fit into the index structure.
- Experiment with code highlighting; tweak the CSS slightly to make
  it slightly nicer to look at.

Change-Id: I4185a18f84fa0764745ca7a3148276064a3155c6
Signed-off-by: Chris Luke <chrisy@flirble.org>