W3C home > Mailing lists > Public > www-style@w3.org > January 2008

RE: scroll bar size in width calculations

From: Alex Mogilevsky <alexmog@exchange.microsoft.com>
Date: Fri, 4 Jan 2008 11:48:16 -0800
To: fantasai <fantasai.lists@inkedblade.net>
CC: "www-style@w3.org" <www-style@w3.org>, Sam Fortiner <samfort@microsoft.com>, Harel Williams <harelw@microsoft.com>, Scott Dickens <sdickens@exchange.microsoft.com>, Boris Zbarsky <bzbarsky@MIT.EDU>
Message-ID: <04F36FB4ED0F85459AA447F72711526F012126B36598@DF-GRTDANE-MSG.exchange.corp.microsoft.com>

This is quite interesting indeed. It looks like until the change "issue 150" was made, the spec described precisely the behavior that all UAs currently implement.

The change appears to favor a different approach, where scrollbars actually increase size of border box. If I understand the spec correctly, it is different from any implementation I can find.

Is this a case where the spec introduced a new behavior in hope that implementations will adopt it but that has not happened? Should the spec change back now to actually match implementations?

Of course it is possible that I miss something in the language of the spec, please correct me if is the case.


For the reference: this example that renders interoperably has started this thread:
I expect that its behavior should not change but does it follow the spec?

-----Original Message-----
From: fantasai [mailto:fantasai.lists@inkedblade.net]
Sent: Wednesday, January 02, 2008 7:12 PM

Here's the record of the issue that resulted in the current spec text:

   Issue 150.
   URI: http://www.w3.org/mid/43C68B95.4070405@mit.edu


   10.3.3: Change

     'margin-left' + 'border-left-width' + 'padding-left' + 'width' +
     'padding-right' + 'border-right-width' + 'margin-right' = width of
     containing block

     If 'width' is not 'auto' and 'border-left-width' + 'padding-left' +
     'width' + 'padding-right' + 'border-right-width'


     'margin-left' + 'border-left-width' + 'padding-left' + 'width' +
     'padding-right' + 'border-right-width' + 'margin-right' + scrollbar
     width (if any) = width of containing block

     If 'width' is not 'auto' and 'border-left-width' + 'padding-left' +
     'width' + 'padding-right' + 'border-right-width' + scrollbar width
     (if any)

Received on Friday, 4 January 2008 19:48:28 UTC

This archive was generated by hypermail 2.3.1 : Monday, 2 May 2016 14:27:32 UTC