gru/rustpad
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixes in ux

Browse Source
This commit is contained in:
Mateusz Gruszczyński
2026-07-20 23:24:07 +02:00
parent f5292aefd6
commit 867e2be96b
6 changed files with 69 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
static/styles.css
+19
View File
@@ -272,3 +272,22 @@ dialog::backdrop { background: rgba(4,6,9,.82); }
/* The rust gradient belongs only to the wordmark. */
.home-header { background: transparent; }
/* Editor display preferences and author overlay */
.editor-shell { position: relative; }
.owner-labels { z-index: 4; top: 0; bottom: 0; height: auto; }
.owner-line { position: absolute; right: 0; left: 0; height: var(--editor-line-height, 31px); border-left: 3px solid var(--owner); background: linear-gradient(90deg, color-mix(in srgb, var(--owner) 8%, transparent), transparent 24%); }
.owner-label { z-index: 1; transform: translateY(2px); }
.editor-controls { display: inline-flex; align-items: center; gap: 7px; }
.editor-controls label { display: inline-flex; align-items: center; gap: 4px; color: var(--muted); font-size: .72rem; }
.editor-controls select { width: auto; min-height: 30px; padding: 3px 24px 3px 7px; border-radius: 6px; font-size: .74rem; }
.editor-workspace-font-system textarea, .editor-workspace-font-system .preview { font-family: Inter, ui-sans-serif, system-ui, sans-serif; }
.editor-workspace-font-serif textarea, .editor-workspace-font-serif .preview { font-family: ui-serif, Georgia, Cambria, "Times New Roman", serif; }
.editor-workspace-font-arial textarea, .editor-workspace-font-arial .preview { font-family: Arial, Helvetica, sans-serif; }
.editor-workspace-font-georgia textarea, .editor-workspace-font-georgia .preview { font-family: Georgia, "Times New Roman", serif; }
.editor-workspace-font-mono textarea, .editor-workspace-font-mono .preview { font-family: ui-monospace, SFMono-Regular, Consolas, monospace; }
.compact-editor .editor-toolbar { min-height: 42px; padding-top: 5px; padding-bottom: 5px; }
.compact-editor .column-label { min-height: 30px; font-size: .68rem; }
.compact-editor textarea, .compact-editor .preview { padding-top: 14px; padding-bottom: 14px; font-size: calc(var(--editor-font-size, 18px) - 2px); line-height: 1.45; }
.workspace textarea, .workspace .preview { font-size: var(--editor-font-size, 18px); }
@media (max-width: 900px) { .editor-controls { order: 3; width: 100%; } .editor-toolbar { flex-wrap: wrap; } }