stylus/popup
2017-12-10 10:11:19 +03:00
..
hotkeys.js adjust #hotkey-info position for scrollingElement 2017-12-10 08:09:36 +03:00
popup.css basic tweaks/fixes for inline search 2017-12-10 04:03:04 +03:00
popup.js deep-copy style for popup's configDialog 2017-12-10 10:11:18 +03:00
search-results.css darken search result description 2017-12-10 10:11:19 +03:00
search-results.js cache search results for 1 hour 2017-12-10 10:11:19 +03:00