* also apply live-preview if an unsaved style was disabled
* use box-shadow instead of outline for focus everywhere
* allow focus outline on click in text/search input or textarea
* search inputs should use the same style as text inputs
* also use box-shadow focus on delete buttons
* remove URLSearchParams workaround, not needed since Chrome 55
* use `once` in addEventListener, available since Chrome 55
* update USO bug workarounds, remove obsolete ones
* ping/pong to fix openURL with `message` in FF
* use unprefixed CSS filter, available since Chrome 53
* use unprefixed CSS user-select, available since Chrome 54
* focus tweaks
* also use text query in inline search for Stylus category
* use event.key, available since Chrome 51
Co-authored-by: narcolepticinsomniac
* make usercss editor full-height again
* make sectioned editor open quickly again
* remove leftovers
* autofocus when add/clone button is clicked
* don't fit to content on clicking the add button
* scroll the window to show a manually added section entirely
* autofocus on a manually added applies-to
* disable Save button while loading
* use standard CSS for a focused CodeMirror outline
* trigger refresh sooner by one viewport in advance
* declare refreshOnView as a standard function
* run fixedHeader asynchronously to prevent self-triggering
* account for header in compact mode when fitting to content
* code cosmetics
* Fix search highlight conflict
Regular highlight styling and search highlight styling shouldn't both be applied at the same time. Search highlight styling should also be removed when search is closed. This PR resolves those conflicts.
* Remove unnecessary dummy animation
Not sure what the point of it ever was, but I'm pretty sure it should go.
