Made widening more resilient
Made widening more resilient

Now obtains default width from the DOM instead of using hardcoded 980px.
Oh, and changed master script to refer to `SETT` instead of `tools` -
can't be less modern than the plugins, can we?

michaelb958/StackExchangeTopbarTools