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>
This commit is contained in:
Chris Luke
2017-09-27 15:09:48 -04:00
committed by Florin Coras
parent 4ff586d1c6
commit 64ebb5ff13
16 changed files with 117 additions and 83 deletions

View File

@@ -45,3 +45,9 @@ pre {
a.el {
font-family: Consolas, Courier, monospace;
}
div.fragment {
padding: 2px;
margin-left: 8px;
}