Adjust the options style somewhat
Adjust the options style somewhat

The style of the standard tabbed settings page changed. May as well
mimic it; the buttons and textarea are prettier.

davidben/embedded-emacs,davidben/embedded-emacs,davidben/embedded-emacs