/user_guide/_static/js/

• ../
• oldtheme.js
• theme.js