embedded player has a thicker border than the normal player

[jeffalo]

Expected Behavior

embedded player's grey border thickness matches the normal player page

Actual Behavior

the embedded player has a thicker border.
embedded player:

player from the normal page:

Steps to Reproduce

https://turbowarp.org/ vs https://turbowarp.org/embed.html

Operating System and Browser

Windows 10 1909 running Chrome

[GarboMuffin]

This happens because embeds are technically using fullscreen. (see https://turbowarp.org/fullscreen.html and https://turbowarp.org/embed.html)

I'm not sure if this is worth fixing as this is consistent with Scratch.

[GarboMuffin]

The large border around players in fullscreen is being removed. This will also remove it from embeds.