make JS work on non-RTD sites again