DesignDocument: touch up header
DesignDocument: use definition lists for the non-functional requirements