Clean up TODO: start,end must be concrete.
Add control-flow syntax highlight colour.
Add preprocessor syntax highlight colour.
Trivial: nicer syntax colours.
Call expression 'expression', not 'predicate'.

TESLA_ASSERT takes a TESLA expression as an argument, which is not necessarily a predicate!
Add some missing highlighting.
Note that this is for end-user programmers.
Only add margin, padding to code divs (not spans).
More border for console, code listings.
Add previously(), eventually().
Start describing function patterns.
More about function invocation.
Only use background colour with code divs.
Describe use of TESLA_STRUCT_AUTOMATON.
Mention predicates.

No real description yet, but here's where we will put it.