Ran stylize.php, manually fixed documentation, etc.

Change-Id: I8e684d00bf5142eff70d45d64e4c29cfc380749d