On Sat, Jul 07, 2007 at 11:16:47PM +0200, Daniel Stenberg wrote:
> On Sat, 7 Jul 2007, Guenter Knauf wrote:
>
> >however I see now that it is a formating problem with the top tables;
> >here's what we see with Opera 100% (problem zone marked):
> >http://www.gknw.net/test/curl/dl_page/curl_dl_op1.PNG
> >and here's Opera at 90%:
> >http://www.gknw.net/test/curl/dl_page/curl_dl_op2.PNG
>
> Yeah I've seen that happen as well but I've never bothered enough... and
> I'm really not a HTML/CSS ninja so I've just ignored it.
>
> If anyone has an easy fix, I'm all ears.

Try the patch below, it fixes it for me. IMHO Opera has all rights to
format it like that; if you float several boxes to the right, the specified
behaviour is that they are stacked from right to left. You need to tell the
oslinks box explicitly to move below any preceding right-floated box.

Cheers,

  Richard

-- 
  __   _
  |_) /|  Richard Atterer     |  GnuPG key: 888354F7
  | \/¯|  http://atterer.net  |  08A9 7B7D 3D13 3EF2 3D25  D157 79E6 F6DC 8883 54F7
  ¯ '` ¯
--- curl.css.orig       2007-07-08 02:01:35.686150237 +0200
+++ curl.css    2007-07-08 02:02:31.689341676 +0200
@@ -302,6 +302,7 @@
 }
 div.oslinks {
+  clear: right;
   border-color: black;
   border-width: 1px;
   border-style: outset;