Minor bug in MenuBar rendering / style on IE6?

Cheers,

Is this a known issue (or perhaps already fixed), or should I create a ticket?

On IE6 the MenuBar right side border and shadow are missing:

edit:
Using vaadin-6.0.0.jar


FF3:


IE6:

No style / theme definitions.

Source:


import com.vaadin.Application;
import com.vaadin.ui.*;
import com.vaadin.ui.MenuBar.MenuItem;

public class TestApp extends Application {

	private static final long serialVersionUID = 1L;
	
	private final Window mainWindow = new Window("Test");

	@Override
	public void init() {
		final VerticalLayout mainLayout = new VerticalLayout();

		final MenuBar mainNavigation = new MenuBar();
		final MenuItem menu1 = mainNavigation.addItem("Menu 1", null);
		final MenuItem menu2 = mainNavigation.addItem("Menu 2", null);
		final MenuItem menu3 = mainNavigation.addItem("Menu 3", null);

		final MenuItem menu1_1 = menu1.addItem("Sub-Menu 1 / 1", null);
		final MenuItem menu1_2 = menu1.addItem("Sub-Menu 1 / 2", null);
		final MenuItem menu1_3 = menu1.addItem("Sub-Menu 1 / 3", null);

		mainLayout.addComponent(mainNavigation);
		mainWindow.setContent(mainLayout);
		setMainWindow(mainWindow);
	}

}

Create a ticket.