@@ -549,21 +549,28 @@ <h2 id="extensions-to-the-window-interface"><span class="secno">5 </span>Extensi
549549steps must be run:</ p >
550550< ol >
551551 < li > < p > If there is no < a href ="#viewport "> viewport</ a > , abort these steps.
552+ < li > < p > Let < var title =""> viewport width</ var > be the width of the < a href ="#viewport "> viewport</ a > excluding the width of the scroll bar, if any.
553+ < li > < p > Let < var title =""> viewport height</ var > be the height of the < a href ="#viewport "> viewport</ a > excluding the height of the scroll bar, if any.
554+ < li >
552555 < dl class ="switch ">
553556 < dt > If the < a href ="#viewport "> viewport</ a > has rightward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a >
554557 < dd > < p > Let < var title =""> x</ var > be max(0, min(< var title =""> x</ var > ,
555- < a href ="#scrolling-area "> scrolling area</ a > width - < a href ="#padding-edge "> padding edge</ a >
556- width)).</ dd >
558+ < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a > width - < var title =""> viewport width</ var > )).</ dd >
557559 < dt > If the < a href ="#viewport "> viewport</ a > has leftward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a >
558560 < dd > < p > Let < var title =""> x</ var > be min(0, max(< var title =""> x</ var > ,
559- < a href ="#padding-edge " > padding edge </ a > width - < a href ="#scrolling-area "> scrolling area</ a >
561+ < var title ="" > viewport width </ var > - < a href ="#viewport " > viewport </ a > < a href ="#scrolling-area "> scrolling area</ a >
560562 width)).</ dd >
561563 </ dl >
562- </ li >
563- <!-- XXX support upward overflow -->
564- < li > < p > Let < var title =""> y</ var > be max(0, min(< var title =""> y</ var > ,
565- < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a > height - < a href ="#viewport "> viewport</ a >
566- height excluding the size of a rendered scroll bar (if any))).</ li >
564+ < li >
565+ < dl class ="switch ">
566+ < dt > If the < a href ="#viewport "> viewport</ a > has downward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a >
567+ < dd > < p > Let < var title =""> y</ var > be max(0, min(< var title =""> y</ var > ,
568+ < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a > height - < var title =""> viewport height</ var > )).</ dd >
569+ < dt > If the < a href ="#viewport "> viewport</ a > has upward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a >
570+ < dd > < p > Let < var title =""> y</ var > be min(0, max(< var title =""> y</ var > ,
571+ < var title =""> viewport height</ var > - < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a >
572+ height)).</ dd >
573+ </ dl >
567574 < li > < p > Let < var title =""> position</ var > be the scroll position the < a href ="#viewport "> viewport</ a > would have by aligning the x-coordinate < var title =""> x</ var > of the
568575 < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a > with the left of the < a href ="#viewport "> viewport</ a > and aligning the y-coordinate < var title =""> y</ var > of the
569576 < a href ="#viewport "> viewport</ a > < a href ="#scrolling-area "> scrolling area</ a > with the top of the < a href ="#viewport "> viewport</ a > .
@@ -1087,20 +1094,30 @@ <h3 id="element-scrolling-members"><span class="secno">7.2 </span><code title=""
10871094 < dt > If < var title =""> box</ var > has rightward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a > </ dt >
10881095
10891096 < dd > < p > Let < var title =""> x</ var > be max(0, min(< var title =""> x</ var > ,
1090- < a href ="#scrolling-area "> scrolling area</ a > width -
1091- < a href ="#padding-edge "> padding edge</ a > width)).</ dd >
1097+ < var title ="" > element </ var > < a href ="#scrolling-area "> scrolling area</ a > width -
1098+ < var title ="" > element </ var > < a href ="#padding-edge "> padding edge</ a > width)).</ dd >
10921099
10931100 < dt > If < var title =""> box</ var > has leftward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a > </ dt >
10941101
10951102 < dd > < p > Let < var title =""> x</ var > be min(0, max(< var title =""> x</ var > ,
1096- < a href ="#padding-edge "> padding edge</ a > width -
1097- < a href ="#scrolling-area "> scrolling area</ a > width)).</ dd >
1103+ < var title ="" > element </ var > < a href ="#padding-edge "> padding edge</ a > width -
1104+ < var title ="" > element </ var > < a href ="#scrolling-area "> scrolling area</ a > width)).</ dd >
10981105 </ dl >
1099- </ li >
11001106
1101- <!-- XXX support upward overflow -->
1102- < li > < p > Let < var title =""> y</ var > be max(0, min(< var title =""> y</ var > ,
1103- < a href ="#scrolling-area "> scrolling area</ a > height - < a href ="#padding-edge "> padding edge</ a > height)).</ li >
1107+ < li >
1108+ < dl class ="switch ">
1109+ < dt > If < var title =""> box</ var > has downward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a > </ dt >
1110+
1111+ < dd > < p > Let < var title =""> y</ var > be max(0, min(< var title =""> y</ var > ,
1112+ < var title =""> element</ var > < a href ="#scrolling-area "> scrolling area</ a > height -
1113+ < var title =""> element</ var > < a href ="#padding-edge "> padding edge</ a > height)).</ dd >
1114+
1115+ < dt > If < var title =""> box</ var > has upward < a href ="#overflow-directions " title ="overflow directions "> overflow direction</ a > </ dt >
1116+
1117+ < dd > < p > Let < var title =""> y</ var > be min(0, max(< var title =""> y</ var > ,
1118+ < var title =""> element</ var > < a href ="#padding-edge "> padding edge</ a > height -
1119+ < var title =""> element</ var > < a href ="#scrolling-area "> scrolling area</ a > height)).</ dd >
1120+ </ dl >
11041121
11051122 < li > < p > Let < var title =""> position</ var > be the scroll position < var title =""> box</ var > would have by aligning < a href ="#scrolling-area "> scrolling area</ a > x-coordinate
11061123 < var title =""> x</ var > with the left of < var title =""> box</ var > and aligning < a href ="#scrolling-area "> scrolling area</ a > y-coordinate < var title =""> y</ var > with
0 commit comments