The contents of the dotted red box above are an Elm application inside a Custom Element: <elm-ement>.

Source code