[css-overflow-3] Export terms

Author: fantasai

css-overflow-3/Overview.bs

@@ -336,7 +336,7 @@ Scrolling Overflow</h3>
 	or by script
 	(<span class=non-normative>for example, by the {{scrollIntoView()}} or {{focus()}} APIs</span>).
 	The initial position of the [=scrollable overflow rectangle=] within the [=scrollport=]
-	before any scrolling operations take effect is the <dfn>initial scroll position</dfn>.
+	before any scrolling operations take effect is the <dfn export>initial scroll position</dfn>.
 	The [=initial scroll position=]
 	is typically dependent on the [=scroll container=]’s [=writing mode=],
 	and, unless otherwise specified,
@@ -345,24 +345,24 @@ Scrolling Overflow</h3>
 	can be used to change the [=initial scroll position=],
 	see [[css-align-3#overflow-scroll-position]].
 
-	A <dfn>scroll position</dfn> is a particular alignment
+	A <dfn export>scroll position</dfn> is a particular alignment
 	of the [=scrollable overflow rectangle=]
 	within its [=scrollport=].
-	It is associated with a <dfn>scroll offset</dfn>
+	It is associated with a <dfn export>scroll offset</dfn>
 	which is its distance from the [=scroll origin=].
 
-	The <dfn>scroll origin</dfn> is the anchor coordinate of the [=scrollable overflow rectangle=],
+	The <dfn export>scroll origin</dfn> is the anchor coordinate of the [=scrollable overflow rectangle=],
 	from which the [=scrollable overflow rectangle=] expands.
 	Unless otherwise specified,
 	it is the [=block-start=] [=inline-start=] corner of the [=scrollable overflow rectangle=].
 	(For example, in a [=flex container=] it is the [=main-start=] [=cross-start=] corner.)
 	The area beyond the [=scroll origin=] in either axis
-	is considered the <dfn>negative scrollable overflow region</dfn>:
+	is considered the <dfn export>negative scrollable overflow region</dfn>:
 	content rendered here is not accessible to the reader,
 	see [[#scrollable]].
 	A [=scroll container=] is said to be scrolled to its [=scroll origin=]
 	when its [=scroll origin=] coincides with the corresponding corner of its [=scrollport=].
-	This [=scroll position=], the <dfn>scroll origin position</dfn>,
+	This [=scroll position=], the <dfn export>scroll origin position</dfn>,
 	usually, but not always,
 	coincides with the [=initial scroll position=].