Ran stylize.php and manually fixed function documentation

Change-Id: Ib007d4ef7739a5ec0f08387e58ad7d05ec5bba7c