For the drop-down width, there's no way for the extension to make it wider than 800 pixels total including the scrollbar. Maybe I should make the scrollbar optional.
In Firefox 78.0.1, the Options page seems to use Tahoma (at least on Windows), which is a wide font. It doesn't seem much wider than Arial, although it has a slightly different shape. Not sure of the best choice.
