| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 82 | logplain |
| -rw-r--r-- | makefile | 1626 | logplain |
| -rw-r--r-- | script.svg | 533 | logplain |
| -rw-r--r-- | search.html.diff | 617 | logplain |
| -rw-r--r-- | settings.html.diff | 4128 | logplain |
| -rw-r--r-- | userscript-loader.js | 157 | logplain |
| -rw-r--r-- | userscript-settings.css | 252 | logplain |
