directory /Doc/tools/sphinxext/static/ @ 80661:94de77bd0b4b 2.7

name size permissions
[up] drwxr-xr-x
file basic.css 6932 -rw-r--r--
file copybutton.js 2457 -rw-r--r--
file py.png 695 -rw-r--r--
file version_switch.js 1800 -rw-r--r--