Some styling

I'm stuck in the airport with not much of an internet connection.  Here's my attempt at some minor styling on php-tools (feel free to not merge this if you think it sucks).