docs: function(originalBaseURL) {
        if (!originalBaseURL) {
          return '/base/';
        } else if (originalBaseURL.indexOf('./') === 0) {
          return originalBaseURL.replace('./', '/base/');
        } else if (originalBaseURL.indexOf('/') !== 0) {
          return '/base/' + originalBaseURL;
        } else {
          return '/base' + originalBaseURL;
        }
      }