| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | .gitignore | 97 | logplain |
| -rw-r--r-- | info.html.diff.m4 | 1578 | logplain |
| -rw-r--r-- | makefile | 1901 | logplain |
| -rw-r--r-- | readme.md | 708 | logplain |
| -rw-r--r-- | script.svg | 533 | logplain |
| -rw-r--r-- | search.html.diff | 617 | logplain |
| -rw-r--r-- | settings.html.diff | 4112 | logplain |
| -rw-r--r-- | userscript-loader.js | 157 | logplain |
| -rw-r--r-- | userscript-settings.css | 252 | logplain |
