-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
39574fb
commit aa63aaf
Showing
22 changed files
with
1,061 additions
and
138 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,27 @@ | ||
:root { | ||
--color-background-default: #f5f5ff; | ||
--color-foreground-contrast: #232563; | ||
--color-foreground-dim: #6a6a81; | ||
--color-foreground-emphasized: #8585ff; | ||
--color-foreground-black: #000000; | ||
--color-foreground-primary: #ff55ff; | ||
--color-border-hint: #dbdbff; | ||
--color-fill-ghost: #ebebff; | ||
--color-fill-separator: #dbdbff; | ||
--color-fill-yellow-iconic: #ffff55; | ||
--color-fill-delegate: #ffe5ff; | ||
} | ||
|
||
:root[data-theme="dark"] { | ||
--color-background-default: #0a0d10; | ||
--color-foreground-contrast: #f9f9fb; | ||
--color-foreground-dim: #9b9bb1; | ||
--color-foreground-emphasized: #7070ff; | ||
--color-foreground-black: #000000; | ||
--color-foreground-primary: #ff55ff; | ||
--color-border-hint: #24252d; | ||
--color-fill-ghost: #24252d; | ||
--color-fill-separator: #24252d; | ||
--color-fill-yellow-iconic: #ffff55; | ||
--color-fill-delegate: #3d003d; | ||
} |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,152 @@ | ||
* { | ||
box-sizing: border-box; | ||
} | ||
|
||
:root { | ||
--border-radius-tiny: 2px; | ||
--border-radius-regular: 8px; | ||
|
||
--scrollbar-width: 0.5rem; | ||
|
||
--button-regular-height: 2.5rem; | ||
--button-small-height: 2rem; | ||
--button-tiny-height: 1.5rem; | ||
|
||
--first-4px-border: 0px calc(100% - 6px), 3px calc(100% - 6px), | ||
3px calc(100% - 3px), 6px calc(100% - 3px), 6px 100%, calc(100% - 6px) 100%, | ||
calc(100% - 6px) calc(100% - 3px), calc(100% - 3px) calc(100% - 3px), | ||
calc(100% - 3px) calc(100% - 6px), 100% calc(100% - 6px), 100% 6px, | ||
calc(100% - 3px) 6px, calc(100% - 3px) 3px, calc(100% - 6px) 3px, | ||
calc(100% - 6px) 0px, 6px 0px, 6px 3px, 3px 3px, 3px 6px, 0px 6px; | ||
|
||
--second-4px-border: 3px 6px, 6px 6px, 6px 3px, calc(100% - 6px) 3px, | ||
calc(100% - 6px) 6px, calc(100% - 3px) 6px, | ||
calc(100% - 3px) calc(100% - 6px), calc(100% - 6px) calc(100% - 6px), | ||
calc(100% - 6px) calc(100% - 3px), 6px calc(100% - 3px), | ||
6px calc(100% - 6px), 3px calc(100% - 6px); | ||
|
||
--third-4px-border: 0px calc(100% - 6px), 3px calc(100% - 6px), | ||
3px calc(100% - 3px), 6px calc(100% - 3px), 6px 100%, calc(100% - 6px) 100%, | ||
calc(100% - 6px) calc(100% - 3px), calc(100% - 3px) calc(100% - 3px), | ||
calc(100% - 3px) calc(100% - 6px), 100% calc(100% - 6px), 100% 6px, | ||
calc(100% - 3px) 6px, calc(100% - 3px) 3px, calc(100% - 6px) 3px, | ||
calc(100% - 6px) 0px, 6px 0px, 6px 3px, 3px 3px, 3px 6px, 0px 6px, 0px 50%, | ||
3px 50%, 3px 6px, 6px 6px, 6px 3px, calc(100% - 6px) 3px, | ||
calc(100% - 6px) 6px, calc(100% - 3px) 6px, | ||
calc(100% - 3px) calc(100% - 6px), calc(100% - 6px) calc(100% - 6px), | ||
calc(100% - 6px) calc(100% - 3px), 6px calc(100% - 3px), | ||
6px calc(100% - 6px), 3px calc(100% - 6px), 3px 50%, 0px 50%; | ||
|
||
--first-2px-border: 0px calc(100% - 3px), 3px calc(100% - 3px), 3px 100%, | ||
calc(100% - 3px) 100%, calc(100% - 3px) calc(100% - 3px), | ||
100% calc(100% - 3px), 100% 3px, calc(100% - 3px) 3px, calc(100% - 3px) 0px, | ||
3px 0px, 3px 3px, 0px 3px; | ||
|
||
--second-2px-border: 3px 3px, calc(100% - 3px) 3px, | ||
calc(100% - 3px) calc(100% - 3px), 3px calc(100% - 3px); | ||
|
||
--third-2px-border: 0px calc(100% - 3px), 3px calc(100% - 3px), 3px 100%, | ||
calc(100% - 3px) 100%, calc(100% - 3px) calc(100% - 3px), | ||
100% calc(100% - 3px), 100% 3px, calc(100% - 3px) 3px, calc(100% - 3px) 0px, | ||
3px 0px, 3px 3px, 0px 3px, 0px 50%, 3px 50%, 3px 3px, calc(100% - 3px) 3px, | ||
calc(100% - 3px) calc(100% - 3px), 3px calc(100% - 3px), 3px 50%, 0px 50%; | ||
} | ||
|
||
html { | ||
height: 100%; | ||
-ms-overflow-style: scrollbar; | ||
-webkit-tap-highlight-color: transparent; | ||
} | ||
|
||
body { | ||
height: 100%; | ||
margin: 0; | ||
padding: 0; | ||
color: var(--color-foreground-contrast); | ||
text-align: left; | ||
background-color: var(--color-background-default); | ||
scrollbar-width: thin; | ||
scrollbar-height: thin; | ||
scrollbar-color: var(--color-fill-separator) transparent; | ||
} | ||
|
||
::selection { | ||
background: var(--color-fill-yellow-iconic); | ||
color: var(--color-foreground-black); | ||
} | ||
|
||
/* Chrome/Edge/Safari scrollbar */ | ||
*::-webkit-scrollbar { | ||
width: var(--scrollbar-width); | ||
height: var(--scrollbar-width); | ||
} | ||
*::-webkit-scrollbar-track { | ||
background: transparent; | ||
} | ||
*::-webkit-scrollbar-thumb { | ||
background: transparent; | ||
border-radius: var(--border-radius-regular); | ||
} | ||
*::-webkit-scrollbar-corner { | ||
background: transparent; | ||
} | ||
*:hover::-webkit-scrollbar-thumb, | ||
body::-webkit-scrollbar-thumb { | ||
background-color: var(--color-fill-separator); | ||
} | ||
|
||
a { | ||
color: inherit; | ||
text-decoration: none; | ||
} | ||
|
||
pre { | ||
margin: 0; | ||
} | ||
|
||
.global-flex-item { | ||
display: flex; | ||
gap: 0.5rem; | ||
align-items: center; | ||
} | ||
|
||
.four-pixel { | ||
clip-path: polygon(var(--first-4px-border)); | ||
position: relative; | ||
} | ||
.two-pixel { | ||
clip-path: polygon(var(--first-2px-border)); | ||
position: relative; | ||
} | ||
.four-pixel, | ||
.two-pixel { | ||
border: 5px solid transparent; | ||
} | ||
.four-pixel::after { | ||
content: ""; | ||
position: absolute; | ||
clip-path: polygon(var(--third-4px-border)); | ||
top: 0; | ||
bottom: 0; | ||
left: 0; | ||
right: 0; | ||
background: var(--color-border-hint); | ||
display: block; | ||
pointer-events: none; | ||
} | ||
.two-pixel::after { | ||
content: ""; | ||
position: absolute; | ||
clip-path: polygon(var(--third-2px-border)); | ||
top: 0; | ||
bottom: 0; | ||
left: 0; | ||
right: 0; | ||
background: var(--color-border-hint); | ||
display: block; | ||
pointer-events: none; | ||
} | ||
.two-pixel::after, | ||
.four-pixel::after { | ||
margin: -5px; | ||
} |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,107 @@ | ||
@font-face { | ||
font-family: "Inter"; | ||
font-style: normal; | ||
font-weight: 400; | ||
font-display: swap; | ||
src: url("fonts/Inter-Regular.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "Inter"; | ||
font-weight: 500; | ||
font-display: swap; | ||
src: url("fonts/Inter-Medium.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "Inter"; | ||
font-weight: 600; | ||
font-display: swap; | ||
src: url("fonts/Inter-SemiBold.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "Inter"; | ||
font-weight: 700; | ||
font-display: swap; | ||
src: url("fonts/Inter-Bold.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "JetBrains Mono"; | ||
font-style: normal; | ||
font-weight: 400; | ||
font-display: swap; | ||
src: url("fonts/JetBrainsMono-Regular.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "JetBrains Mono"; | ||
font-style: normal; | ||
font-weight: 500; | ||
font-display: swap; | ||
src: url("fonts/JetBrainsMono-Medium.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "JetBrains Mono"; | ||
font-weight: 600; | ||
font-display: swap; | ||
src: url("fonts/JetBrainsMono-SemiBold.woff2"); | ||
} | ||
|
||
@font-face { | ||
font-family: "JetBrains Mono"; | ||
font-weight: 700; | ||
font-display: swap; | ||
src: url("fonts/JetBrainsMono-Bold.woff2"); | ||
} | ||
|
||
:root { | ||
--font-family-sans-serif: Inter, sans-serif; | ||
--font-family-monospace: monospace; | ||
--font-weight-bold: 700; | ||
--font-size-tiny: 0.75rem; /* 12px */ | ||
--font-size-small: 0.875rem; /* 14px */ | ||
} | ||
|
||
[data-codefont="system"] { | ||
--font-family-monospace: monospace; | ||
} | ||
|
||
[data-codefont="jetbrains"] { | ||
--font-family-monospace: "JetBrains Mono"; | ||
} | ||
|
||
html { | ||
-ms-text-size-adjust: 100%; | ||
-webkit-font-smoothing: antialiased; | ||
-webkit-text-size-adjust: 100%; | ||
font-family: var(--font-family-sans-serif); | ||
font-feature-settings: "zero"; | ||
/* The root element font size has to be set in px, | ||
* otherwise Safari breaks. */ | ||
font-size: 16px; | ||
font-weight: var(--font-weight-regular); | ||
line-height: 1.5; | ||
} | ||
|
||
p { | ||
margin: 1rem 0; | ||
} | ||
.txt-tiny { | ||
font-size: var(--font-size-tiny); | ||
} | ||
.txt-small { | ||
font-size: var(--font-size-small); | ||
} | ||
|
||
.txt-monospace { | ||
font-family: var(--font-family-monospace); | ||
} | ||
.txt-bold { | ||
font-weight: var(--font-weight-bold) !important; | ||
} | ||
.txt-missing { | ||
color: var(--color-foreground-dim); | ||
} |
This file was deleted.
Oops, something went wrong.
Oops, something went wrong.