| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | android-chrome-192x192.png | 1609 | 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 | 397 | logplain |
| -rw-r--r-- | favicon.ico | 1947 | logplain |
| -rw-r--r-- | favicon.svg | 381 | logplain |
| d--------- | fonts | 1306 | logplain |
| d--------- | js | 2556 | logplain |
| -rw-r--r-- | katex.min.css | 23112 | logplain |
| -rw-r--r-- | manifest.json | 2046 | logplain |
| -rw-r--r-- | maskable-x128.png | 816 | logplain |
| -rw-r--r-- | maskable-x192.png | 1086 | logplain |
| -rw-r--r-- | maskable-x384.png | 1765 | logplain |
| -rw-r--r-- | maskable-x48.png | 397 | logplain |
| -rw-r--r-- | maskable-x512.png | 2618 | logplain |
| -rw-r--r-- | maskable-x72.png | 566 | logplain |
| -rw-r--r-- | maskable-x96.png | 671 | logplain |
| -rw-r--r-- | maskable_x1024.png | 5454 | 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 | 8379 | logplain |
| -rw-r--r-- | sw.min.js | 3026 | logplain |
