Ran stylize.php.

Change-Id: Iaf43b6f7dcf708ed2189acebcbce1c7cbd481dc4