menu.css contains styles required even if menu.module is disabled

If you disable menu.module, menu.css is no longer added to each page. That means that menus are no longer displayed how they should be. After all, the code in menu.css is not module-specific but belongs to menu.inc.

The attached patch merges menu.css into system.css. However, I have no idea how to remove menu.css with a patch.