Arch Design: Markup on section_methodology

Use variable lists for better display.
Use formalpara for some sections.

Change-Id: Ia5567c6234fefd13b0f6e6c5d00a46cd574fbb4e
Merge "Arch Design: Markup on section_methodology"