judas/judas_server
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 9 Wiki Activity

chore(release): 0.7.0 #18

Merged
pufereq merged 12 commits from release/0.7.0 into main 2026-03-12 20:17:16 +00:00
Conversation 0 Commits 12 Files Changed 9 +235 -20
5 changed files with 235 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 865112c823 - Show all commits

5
src/judas_server/web/static/css/style.css
View File

@@ -16,6 +16,7 @@ body {
background-color: var(--ctp-base);
font-family: sans-serif;
color: var(--ctp-text);
min-height: 100vh;
}
.fi {
@@ -62,15 +63,13 @@ main {
aside {
width: 20rem;
background-color: var(--ctp-base);
border-right: 2px solid var(--ctp-mantle);
border-right: 4px solid var(--ctp-mantle);
}
#content {
display: flex;
flex-direction: column;
gap: 1rem;
flex-grow: 1;
padding: 1rem;
}
header a {