CSS rewrite for 'Shortcut Edit' dialog

CSS and HTML changes only. Tested in Firefox & Chrome.
JS for changing the sort button label
Fixing the positioning of the popup dialog

Instead of using hardcoded width, get the actual size of the div, then
add space for scrollbar.
Fixed script and made CSS more persistent

Works flawlessly except for some pre-existing issues with the sorting.
Don't select images when expanding them

Adds '-X-user-select: none' to expando image icon so you don't
accidentally select the image below.

Also, 'user-select' is not a recognised property, use browser prefixes
instead.
Merge pull request #1434 from githue/showImageNoSelect

Don't select images when expanding them
nightMode: Remove unused head
Search RES Settings: show number of results

Calculate the number of results and report it to the user as "5 results
for yourSearchTerm". Checks whether advanced options should be included
or not.
Hide results list if no results
Better syntax for subtracting the results count
Use Favico instead of Tinycon

Favico is patched to allow the use of data: urls.
betteReddit: Replace icon with a 32x32-only one

Original icon had a 16x16 version as well, which was causing the low
resolution issues.
betteReddit: Reset favicon when unloading page

Prevents notification icon from being cached in bookmarks. Per
ejci/favico.js#23.
opera: Replace Tinycon with Favico
a bit of cleanup / refactoring, and fixed a bug where gfycat and other VIDEO tags might not start out at the right size, and therefore overlap stuff until dragged to resize.
CSS rewrite for 'Shortcut Edit' dialog

CSS and HTML changes only. Tested in Firefox & Chrome.
JS for changing the sort button label
Fixing the positioning of the popup dialog

Instead of using hardcoded width, get the actual size of the div, then
add space for scrollbar.
Fixed script and made CSS more persistent

Works flawlessly except for some pre-existing issues with the sorting.
Edit shortcut panel rebased

Made some minor changes to make it better.