There's also a bunch of styling done in various js files. It's not just the php files. I suppose some of that is necessary, because there are some things you just don't want people messing with, but a lot of the styling has no business being in php and js files.