[mod] style

This commit is contained in:
Andy Bunce 2025-08-02 15:06:08 +01:00
parent 6e88dd1509
commit 7369f33b5e
9 changed files with 7408 additions and 2001 deletions

View file

@ -6,30 +6,51 @@
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Codemirror6 example using BaseX LSP</title>
<link rel="icon" type="image/png" href="favicon.png" />
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.7/dist/css/bootstrap.min.css" rel="stylesheet"
integrity="sha384-LN+7fdVzj6u52u30Kp6M/trliBMCMKTyK833zpbD+pXdCLuTusPj697FH4R/5mcr" crossorigin="anonymous">
<link rel="stylesheet" href="styles.css" />
</head>
<body>
<header>BaseX LSP client <button id="search">🔍</button>
<button id="lint">⚠️</button>
<div style="float:right">
<nav class="navbar bg-body-tertiary">
<div class="container-fluid">
<a class="navbar-brand">BaseX LSP client</a>
<a href="/dba/logs" target="dba">#</a>
<form class="d-flex">
<span id="state">🔴</span>
<input id="iServer" type="text" value="ws://localhost:3000/ws/lsp" style="width:25em" /><button id="connect">connect</button>
<input id="iServer" type="text" value="ws://localhost:3000/ws/lsp" style="width:25em" />
<button id="connect">connect</button>
</form>
</div>
</div>
</header>
</nav>
<div class="container">
<div class="item">
<div>
<label for="file">File:</label><input id="iFile" type="url" value="file:///some/file.xml" />
<div class="container-fluid" >
<div class="row " >
<div class="col-2">
something
</div>
<div>
<label for="symbols">Symbols:</label><select id="symbols" disabled="disabled"></select>
<div class="col flex-grow-1" style="background-color:gainsboro">
<div class="row" >
<div >
<label for="file">File:</label><input id="iFile" type="url" value="file:///some/file.xml" />
<button id="search">🔍</button>
<button id="lint">⚠️</button>
<label for="symbols">Symbols:</label><select id="symbols" disabled="disabled"></select>
</div>
</div>
<!-- Editor goes in here -->
<div id="editor"></div>
</div>
</div>
<!-- Editor goes in here -->
<div id="editor" class="item"></div>
</div>
<!-- CodeMirror 6 -->
@ -55,7 +76,6 @@
localStorage.setItem('code', doc);
});
document.getElementById("connect").onclick = e => {
connect()
};
document.getElementById("search").onclick = e => {

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

View file

@ -1,7 +1,7 @@
/* Set editor dimensions */
#editor {
height: 400px;
width: 50%;
}
/* Stretch editor to fit inside its containing div */
@ -10,18 +10,6 @@
width: 100%;
}
/* header */
header {
background-color: burlywood;
}
.container {
display: flex;
}
.item {
flex-grow: 1;
height: 100px;
}
.item + .item {
margin-left: 2%;
nav {
background-color: burlywood!;
}