Tweak formatting to get better terminal typography

I just changed the markdown header style and added a line break between
each entry for clarity. Piping colored logs into the pager is the next
task.