docs: protected String getStyleSheetName(final HttpServletRequest request, PreferencesScope scope) {
          final String stylesheetNameFromRequest;
  
          if (scope.equals(PreferencesScope.STRUCTURE)) {
              stylesheetNameFromRequest =
                      (String) request.getAttribute(STYLESHEET_STRUCTURE_OVERRIDE_REQUEST_ATTRIBUTE);
          } else {
              stylesheetNameFromRequest =
                      (String) request.getAttribute(STYLESHEET_THEME_OVERRIDE_REQUEST_ATTRIBUTE_NAME);
          }
  
          return stylesheetNameFromRequest;
      }