mainnav does not display properly in Opera

[seanm@…]

The "mainnav" navigational menu does not display correctly using the default template/css. The following patch at least makes it usable in all browsers with superficial layout differences :

--- trac.orig.css       2005-01-07 16:41:55.968176552 +0000
+++ trac.css    2005-01-07 16:42:21.602279576 +0000
@@ -119,7 +119,7 @@
  height: 1.6em;
  margin: .66em 0 .33em;
 }
-#mainnav ul { float: right; padding: 0 }
+#mainnav ul { float: right; padding: 0; width : 100%; }
 #mainnav li { border-right: none; padding: 0 }
 #mainnav :link, #mainnav :visited {
  background: url(../dots.gif) top left no-repeat;

[cmlenz]

Duplicate of #371 (which has been fixed and will be in 0.8.1).