diff --git a/src/javarepl/web/embed.html b/src/javarepl/web/embed.html index 0940c48..690a4ec 100644 --- a/src/javarepl/web/embed.html +++ b/src/javarepl/web/embed.html @@ -11,14 +11,9 @@ - - - - +