make js work on non-rtd sites again