• basic.css -rw-r--r-- 14692 bytes
• css/ drwxrwxrwx 149 bytes
• doctools.js -rw-r--r-- 9758 bytes
• documentation_options.js -rw-r--r-- 353 bytes
• favicon.ico -rw-r--r-- 14134 bytes
• file.png -rw-r--r-- 286 bytes
• jquery-3.5.1.js -rw-r--r-- 287630 bytes
• jquery.js -rw-r--r-- 89476 bytes
• js/ drwxrwxrwx 175 bytes
• language_data.js -rw-r--r-- 10854 bytes
• minus.png -rw-r--r-- 90 bytes
• plus.png -rw-r--r-- 90 bytes
• pygments.css -rw-r--r-- 4819 bytes
• searchtools.js -rw-r--r-- 16793 bytes
• underscore-1.13.1.js -rw-r--r-- 68420 bytes
• underscore.js -rw-r--r-- 19530 bytes