On Mon, Dec 15, 2003 at 03:34:29PM +0200, Alon Altman wrote: > On Mon, 15 Dec 2003, Idan Sofer wrote: > > >Known bug. What's stopping its' resolution is that CSS doesn't define a > > >property for "margin from start of line" but only "margin from > > >left/right". Thus, you cannot give <ol>s and <ul>s a direction-dependant > > >style. > > > > > > > > > > > I wonder how explorer workarounds this issue - I have a feeling it does > > so in fairly kludgy way, that it's either going to break as soon as one > > defines it's own custom stylesheet, or they do that by inverting margin > > left/right according to the text direction(which is a lousy solution to > > the problem if one cares about standards, but not something unexpected) > > A good solution to this will be to add a new (non-standard) method of > setting the margins, say, "margin-start" and "margin-end", and use it in the > default stylesheet, and have margin-left and margin-right override this > non-standard setting.
And if you'll inspect a casual HTML object with Mozilla's DOM Inspector, in the "Computed Style Sheet" you'll notice many such custom properties, beginning with "-moz" (a Mozilla policy for marking proprietary CSS): This is how Mozilla decides how to render this HTML object when standard CSS isn't expressive enough. I think the solution to this bug would be to define such proprietary properties: moz-margin-start etc. As to margin-start and margin-end, you can find discussions about it in W3's mailing lists dating to 2002: http://lists.w3.org/Archives/Public/www-style/2002Aug/0396.html (Ian Hickson's a former Mozilla CSS guru, now an Opera employee :) Judging from CSS3 "Box Model" draft ( http://www.w3.org/TR/2002/WD-css3-box-20021024 ), they still haven't decided, though they went in the right direction and added "start" and "end" values (which depend on the current writing direction) to some properties. But now I'm going off-topic ... :) ================================================================= To unsubscribe, send mail to [EMAIL PROTECTED] with the word "unsubscribe" in the message body, e.g., run the command echo unsubscribe | mail [EMAIL PROTECTED]
