quodatum/basex-lsp
1
0
Fork 0
Code Issues 14 Activity Actions

[mod] css

Browse source
This commit is contained in:
Andy Bunce 2025-11-03 18:15:06 +00:00
parent 4c6570e2b4
commit c516fc9be0
3 changed files with 10 additions and 23 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
webapp/static/clients/codemirror/grail.css
View file

@ -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;
}

8
webapp/static/clients/codemirror/grail.html
View file

@ -22,17 +22,17 @@
</head>
<body>
<div class="page-wrap">
<header class="page-header">
<div> XQuery 4.0 LSP client </div>
<h4> XQuery 4.0 LSP client
<quiet-toggle-icon id="tConnect" label="Connection status" size="lg"
style="--checked-color: green;--unchecked-color: red;">
<quiet-icon slot="unchecked" name="network-off" family="outline"></quiet-icon>
<quiet-icon slot="checked" name="network" family="outline"></quiet-icon>
</quiet-toggle-icon>
<quiet-tooltip id="tipConnect" for="tConnect">I'm a tooltip</quiet-tooltip>
</h4>
<quiet-button-group>
<quiet-button id="bnNew" title="New file">
<quiet-icon slot="start" name="file"></quiet-icon>New
@ -60,7 +60,7 @@
<quiet-divider></quiet-divider>
</quiet-dropdown>
<button popovertarget="popAbout" type="button">
<i class="codicon codicon-info"></i>
<quiet-icon name="help"></quiet-icon>
</button>
</quiet-button-group>
</header>

1
webapp/static/clients/codemirror/script.js
View file

@ -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({