| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | android-chrome-192x192.png | 1609 | logplain |
| -rw-r--r-- | android-chrome-192x192m.png | 1170 | logplain |
| -rw-r--r-- | android-chrome-512x512.png | 3937 | logplain |
| -rw-r--r-- | apple-touch-icon.png | 1542 | logplain |
| -rw-r--r-- | banner.png | 4582 | logplain |
| -rw-r--r-- | browserconfig.xml | 246 | logplain |
| -rw-r--r-- | favicon-16x16.png | 366 | logplain |
| -rw-r--r-- | favicon-32x32.png | 559 | logplain |
| -rw-r--r-- | favicon.ico | 1947 | logplain |
| -rw-r--r-- | favicon.svg | 381 | logplain |
| d--------- | fonts | 1306 | logplain |
| d--------- | js | 2505 | logplain |
| -rw-r--r-- | katex.min.css | 23112 | logplain |
| -rw-r--r-- | manifest.json | 798 | logplain |
| -rw-r--r-- | mstile-150x150.png | 1202 | logplain |
| -rw-r--r-- | nojs.css | 17 | logplain |
| -rw-r--r-- | safari-pinned-tab.svg | 2801 | logplain |
| -rw-r--r-- | sw.js | 7822 | logplain |
| -rw-r--r-- | sw.min.js | 8415 | logplain |
