Style tweaks

* Switch to Alegreya on the admin
* Customize Ace editor a bit (will do a custom theme eventually)
* Style the usernav a bit more