diff client.js @ 63:ee1df80a1715 default tip

Nicer-looking input form
author mathieui
date Sun, 24 May 2020 14:19:29 +0200
parents 6d861d881b96
children
line wrap: on
line diff
--- a/client.js
+++ b/client.js
@@ -128,6 +128,8 @@ document.addEventListener('DOMContentLoa
 
     function onConnected()
     {
+        const connection_form = document.getElementById('connection');
+        connection_form.classList.remove('initial-login');
         const new_node = document.createElementNS('http://www.w3.org/1999/xhtml', 'span');
         const parent_node = connect.parentNode;
         const text = document.createTextNode(`{% trans 'Logged in as ${connection.authzid} ' %}`);