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

[mod] css

Browse source
This commit is contained in:
Andy Bunce 2025-11-01 16:31:29 +00:00
parent 4bfb36e4e0
commit 13871be80b
7 changed files with 43 additions and 29 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -4,6 +4,7 @@
color-scheme: light dark;
--quiet-primary-seed: #e98d61;
--quiet-content-spacing: 0.75rem;
--quiet-form-control-height-md:0.9rem;
}
* {

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

@ -33,17 +33,17 @@
<quiet-icon slot="checked" name="network" family="outline"></quiet-icon>
</quiet-toggle-icon>
<quiet-toolbar label="Links">
<quiet-button href="#" variant="primary" aria-current="page" size="sm">
Editor
</quiet-button>
<quiet-button href="/app/home" target="lsp" rel="noreferrer noopener" size="sm">
LSP Manager <quiet-icon name="external-link"></quiet-icon>
</quiet-button>
<quiet-button href="/dba/logs" target="dba" rel="noreferrer noopener" size="sm">
Dba <quiet-icon name="external-link"></quiet-icon>
</quiet-button>
</quiet-toolbar>
<quiet-button href="#" variant="primary" aria-current="page" size="sm">
Editor
</quiet-button>
<a href="/app/home" target="lsp" rel="noreferrer noopener">
LSP Manager <quiet-icon name="external-link"></quiet-icon>
</a>
<a href="/dba/logs" target="dba" rel="noreferrer noopener" size="sm">
Dba <quiet-icon name="external-link"></quiet-icon>
</a>
<quiet-select id="load" style="width:20em;">
<option selected value="">load..</option>
<optgroup label="XQuery3">

2
webapp/static/clients/codemirror/wc-qd-list.js
View file

@ -183,7 +183,7 @@ class PanelComponent extends HTMLElement {
style.textContent = `
@import url("../codicon@0.0.40/codicon.css");
ul { list-style-type: none; padding:0;margin:0;
background-color: #f8f9fa;font-size: 80%;}
background-color: #e3e4e4ff;font-size: 80%;}
li { padding: 0 0 0 2px; border-bottom: 1px solid #ccc; cursor: pointer; width:100%; }
li:not(.selected) :hover { background-color: #ccc; }
.selected { background-color: #0d6efd;color: #ffff;}