| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| js/ | - | 2023-Dec-21 16:32 |
| css/ | - | 2023-Dec-21 16:32 |
| jquery.js | 87.4 KiB | 2023-Dec-20 23:17 |
| searchtools.js | 18.3 KiB | 2023-Dec-20 23:17 |
| basic.css | 14.7 KiB | 2023-Dec-20 23:17 |
| sphinx_highlight.js | 5.0 KiB | 2023-Dec-20 23:17 |
| pygments.css | 4.7 KiB | 2023-Dec-20 23:17 |
| language_data.js | 4.6 KiB | 2023-Dec-20 23:17 |
| doctools.js | 4.4 KiB | 2023-Dec-20 23:17 |
| _sphinx_javascript_frameworks_compat.js | 4.2 KiB | 2023-Dec-20 23:17 |
| custom.css | 646 B | 2023-Dec-20 23:17 |
| documentation_options.js | 330 B | 2023-Dec-20 23:17 |
| file.png | 286 B | 2023-Dec-20 23:17 |
| minus.png | 90 B | 2023-Dec-20 23:17 |
| plus.png | 90 B | 2023-Dec-20 23:17 |
