Feature requests - window resize, new editor font, undock window, export to file

[dhry]

Excellent extension, I honestly don't know what I'd do without it - have customized a stack of sites since I'm OCD about wasted screen real estate and crappy site fonts.

Would like to suggest just a couple more configuration options for the extension.

1. Could we have an option to change the editor font pls?
2. Ability to resize the Stylebot column itself. Right now it's a little too thin, especially when editing lengthy classes.
3. Perhaps the option to undock the window, similar to how the Chrome dev tools window works.
4. Export to file would be nice, rather than a huge text field that you need to copy to clipboard.

Keep up the great work, looking forward to the sync functionality so I don't have to keep copy/pasting between multiple machines that I use this on.

Dhry