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

chore(release): 0.5.0 #13

Merged
pufereq merged 33 commits from release/0.5.0 into main 2026-02-28 22:48:50 +00:00
Conversation 0 Commits 33 Files Changed 13 +798 -404
13 changed files with 798 additions and 404 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 54eec657a5 - Show all commits

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

@@ -14,7 +14,7 @@
body { body {
background-color: var(--ctp-base); background-color: var(--ctp-base);
font-family: monospace, sans-serif !important; font-family: sans-serif;
color: var(--ctp-text); color: var(--ctp-text);
} }
@@ -51,6 +51,10 @@ header {
padding: 0.5rem 1rem; padding: 0.5rem 1rem;
} }
header h2 {
font-family: monospace, sans-serif;
}
main { main {
display: flex; display: flex;
flex-grow: 1; flex-grow: 1;