Restyle line numbers

CSS changes to line numbers in code blocks

 * Move line numbers away from the code

 * Make line numbers gray

 * Add vertical whitespace after code blocks

Signed-off-by: Don Marti <dmarti@cloudius-systems.com>