From c516fc9be0907271bf6be993069565836a93c2a2 Mon Sep 17 00:00:00 2001 From: Andy Bunce Date: Mon, 3 Nov 2025 18:15:06 +0000 Subject: [PATCH] [mod] css --- webapp/static/clients/codemirror/grail.css | 20 +++----------------- webapp/static/clients/codemirror/grail.html | 12 ++++++------ webapp/static/clients/codemirror/script.js | 1 + 3 files changed, 10 insertions(+), 23 deletions(-) diff --git a/webapp/static/clients/codemirror/grail.css b/webapp/static/clients/codemirror/grail.css index c60d9f3..78ca593 100644 --- a/webapp/static/clients/codemirror/grail.css +++ b/webapp/static/clients/codemirror/grail.css @@ -7,21 +7,8 @@ --quiet-form-control-height-md:0.9rem; } -* { - box-sizing: border-box; -} -html { - height: 100%; -} -body { - background: #e4e4e4; - padding: 0; - height: 100vh; - min-height: 100vh; - margin: 0; -} form header { background-color: burlywood; @@ -29,7 +16,7 @@ form header { .page-wrap { background: white; - height: calc(100vh - 10px); + height: 100vh ; display: grid; @@ -37,9 +24,7 @@ form header { grid-template-rows: min-content min-content 1fr min-content; - .navbar * { - box-sizing: content-box; - } + details { @@ -131,4 +116,5 @@ form header { background: #ffecb3; display: flex; justify-content: space-between; + padding:2px; } \ No newline at end of file diff --git a/webapp/static/clients/codemirror/grail.html b/webapp/static/clients/codemirror/grail.html index 10ae499..3694cae 100644 --- a/webapp/static/clients/codemirror/grail.html +++ b/webapp/static/clients/codemirror/grail.html @@ -22,17 +22,17 @@ -
-
XQuery 4.0 LSP client
+

XQuery 4.0 LSP client - + I'm a tooltip +

New @@ -47,7 +47,7 @@ Web - + @@ -60,7 +60,7 @@
@@ -177,7 +177,7 @@
- +
diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js index b8c93d5..f6b9eef 100644 --- a/webapp/static/clients/codemirror/script.js +++ b/webapp/static/clients/codemirror/script.js @@ -163,6 +163,7 @@ function connect() { client.connect(transport); $("popConnect").hidePopover(); $("tConnect").checked = true; + $("tipConnect").innerText=server; const extLsp = client.plugin(file, "xquery"); view.dispatch({