public MenuRenderer selectMenuRenderer(Menu menu)
throws RendererException {
// Sort out the styles from the menu
ElementDetails elementDetails = menu.getElementDetails();
// Get the menu link style
StyleValue menuLinkStyle = elementDetails.getStyles()
.getPropertyValues().getComputedValue(
StylePropertyDetails.MCS_MENU_LINK_STYLE);
// See if numeric shortcuts were specified in the style
if (menuLinkStyle == MCSMenuLinkStyleKeywords.NUMERIC_SHORTCUT) {