Change Details

I had removed the lazy version of line separators, as people should be explicit in code or json when they want a new section displayed. I don't know if we should just go back and infer from section header or create a new 'divider' type. Thoughts?