Handbook
Glossary
after-body-token ( document obj -- document )
Vocabulary
html5
Inputs
document
an
object
obj
an
object
Outputs
document
an
object
Definition
USING:
accessors
kernel
sequences
;
IN:
html5
::
after-body-token
( document obj -- document )
obj
misc-node?
[
obj document
open-elements>>
first
children>>
push
document
]
[
obj
"html"
end-tag-named?
[
document obj
mark-end-tag
document
after-after-body-mode
>>insertion-mode
]
[
obj
html-space?
obj
doctype?
or
[
document obj
body-token
]
[
document
in-body-mode
>>insertion-mode
obj
tree-insert
]
if
]
if
]
if
;