riki/rkgk
riki/rkgk
1
Fork 0
Code Issues 55 Pull requests Projects 1 Activity

add line numbers to code editor

Browse source 
this is the sort of fancy stuff we can do now
This commit is contained in:
りき萌 2024-09-05 22:05:15 +02:00
parent 09a81ec032
commit 92e3b8fcb7
3 changed files with 95 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

7
static/base.css
View file

@ -11,6 +11,9 @@
--color-shaded-background: rgba(0, 0, 0, 5%);
--dialog-backdrop: rgba(255, 255, 255, 0.5);
--font-body: "Atkinson Hyperlegible", sans-serif;
--font-monospace: "Iosevka Hyperlegible", monospace;
}
/* Reset */
@ -24,7 +27,7 @@ body {
/* Fonts */
:root {
font-family: "Atkinson Hyperlegible", sans-serif;
font-family: var(--font-body);
}
button, textarea, input {
@ -33,7 +36,7 @@ button, textarea, input {
}
pre, code, textarea {
font-family: "Iosevka Hyperlegible", monospace;
font-family: var(--font-monospace);
line-height: 1.5;
}