Documentation conventions

Terminology, syntax, and typographical conventions of the Derby documentation.