Fix for main navigation in Opera

[agr30@…]

The main navigation appears as a vertical list in Opera instead of horizontally. And I could click on the top three links only (some overlay issue I think). On edgewall, the google ad even hides the menuoptions following "Browse Source".

I played around with the trac.css file and came with a solution that works in Opera 7.52 and Mozilla 0.9.3 in Linux. I have no access to other browsers, so this has to be tested further by someone. Should not make any problems, but with Internet Explorer, you never know…

@@ -112,8 +112,10 @@
  font: normal 10px verdana,'Bitstream Vera Sans',helvetica,arial,sans-serif;
  height: 1.6em;
  margin: .33em 0;
+ position: relative;
+ width: 100%;
 }
-#mainnav ul { float: right; padding: 0 }
+#mainnav ul { position: absolute; right: 0; padding: 0 }
 #mainnav li { border-right: none; padding: 0 }
 #mainnav :link, #mainnav :visited {
  background: url(../dots.gif) top left no-repeat;
@@ -121,10 +123,6 @@
  border-right: 1px solid #fff;
  border-bottom: none;
  color: #000;
- /* Hide from IE/Mac \*/
- display: block;
- float: left;
- /* Unhide */
  line-height: 1.4em;
  padding: .1em 15px;
 }

[Christopher Lenz]

This change doesn't really work for me:

Setting the width of the navbar to 100% is suboptimal because it makes customization harder (the width needs to take borders and padding into account). However, specifying the width also doesn't seem necessary.

Removing the lines

- /* Hide from IE/Mac \*/
- display: block;
- float: left;
- /* Unhide */

breaks other aspects of the navbar button styles (in all browsers) because the links are now inline instead of block boxes.

For the moment, we won't fix this issue unless a less problematic fix is developed. Also note that this is actually a duplicate of #575.