diff --git a/webrepl.html b/webrepl.html index a2b8cda..d24ab0e 100644 --- a/webrepl.html +++ b/webrepl.html @@ -38,6 +38,11 @@ padding: 4px; background: #888; } + .logo { + position: absolute; + bottom: 10px; + right: 10px; + } @@ -75,6 +80,13 @@
Terminal widget should be focused (text cursor visible) to accept input. Click on it if not.
To paste, press Ctrl+A, then Ctrl+V + +