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).

![screen shot 2013-07-25 at 3 00 07 pm](https://f.cloud.github.com/assets/430385/857972/7a8d873a-f55c-11e2-8f9a-04b5a978d802.png)