280432 - right border of the div is missing in the display

Status: RESOLVED INVALID

(Core :: Web Painting, defect)

Description

[Andreas Wuest]

User-Agent:       Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041107 Firefox/1.0
Build Identifier: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.5) Gecko/20041107 Firefox/1.0

right border of the div is missing in the display. renders fine with opera and 
ie. example code follows.

Reproducible: Always

Comment 1

[Andreas Wuest]

Attachment: html example that shows the bug

the file shows the rendering problem

Comment 2

[Andrew Schultz]

that's because
a) the right border is scrolled off the screen due to width=100% and the
margins, so it tends to blend in with the right edge of the browser window.
b) you made the div's background (almost) the same color as the border

if I just fix b), the border is visible (after scrolling) with linux trunk
2005012805 and firefox 1.0

Comment 3

[Andreas Wuest]

maybe my bug description was not that good. the border is not the problem, the
problem is that the margin-right: 10px in the divs style is ignored for some
reason. the 10 pixel margin left is ok. but not the right margin. i expected the
same border that i have on the left side on the right side, as well. but on the 
right side i have no margin at all.

Comment 4

[Bernd]

removing  that 100% width property might also help, its bogus when used with
margin:10px anyway.

Comment 5

[Robert O'Callahan (:roc) (email my personal email if necessary)]

'width:100%" sets the *content* width to the width of the containing block ---
that is, the border and margins are then *added* to the content width. Which we
do correctly.