treehouse/static/css/main.css

991 lines
17 KiB
CSS
Raw Normal View History

/* Lay out the main containers. */
2023-08-27 15:27:42 +02:00
body {
--top-min-spacing: 40px;
2023-08-27 19:40:47 +02:00
margin: 0;
2023-08-27 15:27:42 +02:00
display: grid;
grid-template-columns:
[left] minmax(
0,
clamp(80px, calc(100vw - (1920px - 360px - 160px)), 160px)
)
[center] minmax(0, auto)
[right] minmax(0, calc(100vw - (1920px - 360px)));
grid-template-rows:
[top] minmax(
clamp(
var(--top-min-spacing),
calc(100vw - (1920px - 360px - 160px)),
128px
),
min-content
)
[title] minmax(9.6rem, min-content)
[main] 1fr
[bottom] min-content;
}
html {
/* Try to always leave a bunch of empty space at the bottom, but don't overdo it.
It's kind of awkward when you scroll to the bottom and your page just turns blank. */
--virtual-space-ratio: 1.75;
height: calc(100% * var(--virtual-space-ratio));
2023-08-27 17:01:27 +02:00
}
body {
min-height: calc(100% / var(--virtual-space-ratio));
2023-08-27 15:27:42 +02:00
}
.noscript {
grid-row: top;
grid-column: center;
2024-06-13 21:50:09 +02:00
}
#nav-logo {
grid-row: title;
grid-column: left;
2023-08-18 18:26:41 +02:00
align-self: center;
justify-self: end;
}
2023-08-27 15:27:42 +02:00
section.page-header {
grid-row: title;
grid-column: center;
align-self: center;
2023-08-18 18:26:41 +02:00
}
2023-08-20 15:54:06 +02:00
main {
grid-row: main;
grid-column: center / center;
margin-right: 0.8rem;
2023-08-20 15:54:06 +02:00
}
footer {
grid-row: bottom;
grid-column: center / center;
}
@media (max-width: 1200px) {
2023-08-20 15:54:06 +02:00
main {
grid-column: left / -1;
}
footer {
grid-column: 1 / -1;
2023-08-20 15:54:06 +02:00
}
}
@media (max-width: 450px) {
body {
--top-min-spacing: 0px;
}
2023-08-18 17:04:12 +02:00
section.page-header {
grid-column: 1 / -1;
}
nav#nav-logo {
display: none;
}
2024-06-13 20:10:38 +02:00
}
/* Choose more pretty colors than vanilla HTML */
2023-08-18 17:04:12 +02:00
body {
2023-08-27 15:27:42 +02:00
background-color: var(--background-color);
color: var(--text-color);
2023-08-27 19:40:47 +02:00
}
:root {
scrollbar-color: var(--border-2) var(--shaded-background);
scrollbar-width: auto;
scrollbar-gutter: stable;
2023-08-18 17:04:12 +02:00
}
2024-12-08 12:45:29 +01:00
:focus-visible {
outline: 0.1rem solid var(--liquidex-brand-blue);
outline-offset: 0.2rem;
2024-12-08 12:45:29 +01:00
}
2023-08-18 18:26:41 +02:00
/* Set up typography */
2023-08-18 17:04:12 +02:00
@font-face {
font-family: "RecVar";
2024-07-19 18:04:11 +02:00
/* NOTE: I put the hash in here manually instead of adding the complexity of piping CSS through
Handlebars because I don't really think it's worth it for this single asset.
Other assets are referenced rarely enough that caching probably isn't gonna make too much of
an impact.
It's unlikely I'll ever update the font anyways, so eh, whatever. */
src: url("../font/Recursive_VF_1.085.woff2?v=b3-445487d5");
}
2024-02-14 23:31:39 +01:00
@font-face {
font-family: "RecVarMono";
src: url("../font/Recursive_VF_1.085.woff2?v=b3-445487d5");
font-variation-settings: "MONO" 1;
2024-02-14 23:31:39 +01:00
}
2024-06-13 22:00:26 +02:00
body,
pre,
code,
kbd,
2024-12-08 12:45:29 +01:00
button,
2024-12-08 12:45:29 +01:00
select,
input,
dfn {
font-family: "RecVar", sans-serif;
2024-12-08 12:45:29 +01:00
font-style: normal;
2023-08-18 18:26:41 +02:00
line-height: 1.5;
2023-08-18 17:04:12 +02:00
}
html {
font-size: 62.5%;
}
2024-06-13 22:00:26 +02:00
body {
font-size: 1.4rem;
2024-06-13 22:00:26 +02:00
}
2024-05-18 13:41:43 +02:00
pre,
code,
kbd,
2024-12-08 12:45:29 +01:00
button,
2024-12-08 12:45:29 +01:00
select,
input {
font-size: inherit;
2024-05-18 13:41:43 +02:00
}
2023-08-18 17:04:12 +02:00
:root {
--recursive-mono: 0;
--recursive-casl: 1;
2023-08-18 17:04:12 +02:00
--recursive-wght: 400;
--recursive-slnt: 0;
2023-08-18 17:04:12 +02:00
--recursive-crsv: 0.5;
--recursive-simplified-f: "ss03";
--recursive-simplified-g: "ss04";
--recursive-simplified-l: "ss05";
--recursive-simplified-r: "ss06";
--recursive-no-serif-L-Z: "ss08";
2023-08-18 17:04:12 +02:00
}
*,
*:before,
*:after {
font-variation-settings:
"MONO" var(--recursive-mono),
"CASL" var(--recursive-casl),
"wght" var(--recursive-wght),
"slnt" var(--recursive-slnt),
"CRSV" var(--recursive-crsv);
font-feature-settings: var(--recursive-simplified-f),
var(--recursive-simplified-g), var(--recursive-simplified-l),
var(--recursive-simplified-r), var(--recursive-no-serif-L-Z);
2023-08-18 17:04:12 +02:00
}
h1 {
--recursive-casl: 0;
2023-08-18 17:04:12 +02:00
--recursive-wght: 900;
2023-08-18 18:26:41 +02:00
font-size: 5.6rem;
font-feature-settings: var(--recursive-simplified-r) 0;
2023-08-18 18:26:41 +02:00
}
h2 {
--recursive-casl: 0.5;
--recursive-wght: 800;
font-size: 3.2rem;
2023-08-18 18:26:41 +02:00
}
h3 {
--recursive-casl: 0.5;
--recursive-wght: 700;
font-size: 2.4rem;
2023-08-18 17:04:12 +02:00
}
2023-08-31 19:25:19 +02:00
h4 {
--recursive-casl: 0.5;
--recursive-wght: 700;
font-size: 1.6rem;
2023-08-31 19:25:19 +02:00
}
2023-08-18 17:04:12 +02:00
pre,
code,
2024-02-16 22:01:19 +01:00
kbd,
2024-02-17 14:56:17 +01:00
th-literate-program {
--recursive-mono: 1;
--recursive-casl: 0;
2024-02-17 18:01:17 +01:00
--recursive-wght: 450;
2023-08-18 18:26:41 +02:00
}
strong code {
--recursive-wght: 800;
}
2023-08-18 18:26:41 +02:00
b,
strong {
--recursive-wght: 700;
}
i,
em {
--recursive-slnt: -16;
2024-02-17 21:03:45 +01:00
font-style: normal;
2023-08-18 18:26:41 +02:00
}
h1,
h2,
h3,
h4,
h5,
h6 {
text-wrap: balance;
}
2023-08-18 18:26:41 +02:00
/* Lay out elements a bit more compactly */
p,
pre {
2023-08-27 19:40:47 +02:00
margin: 0 0;
2023-08-18 18:26:41 +02:00
}
h1,
h2,
2023-08-31 19:25:19 +02:00
h3,
h4,
h5,
h6 {
margin: 0.4rem 0;
2023-08-18 18:26:41 +02:00
}
/* Make code examples a little prettier by giving them visual separation from the rest of the page */
2024-02-16 22:01:19 +01:00
code,
2024-02-17 14:56:17 +01:00
th-literate-program {
padding: 0.3rem 0.4rem;
2023-09-03 12:09:37 +02:00
background-color: var(--shaded-background);
border-radius: 0.4rem;
2023-09-03 12:09:37 +02:00
}
2024-02-17 14:56:17 +01:00
th-literate-program,
2024-02-16 22:01:19 +01:00
th-literate-output {
display: block;
}
kbd {
padding: 0.3rem 0.6rem;
border: 0.1rem solid var(--border-1);
border-radius: 0.4rem;
}
2024-02-16 22:01:19 +01:00
pre,
2024-02-17 14:56:17 +01:00
th-literate-program {
padding: 0.8rem 1.2rem;
margin: 1.2rem 0;
background-color: var(--shaded-background);
2024-06-13 22:00:26 +02:00
border-radius: 0.5em;
2024-02-08 13:49:22 +01:00
transition: background-color var(--transition-duration);
}
2024-02-17 21:03:45 +01:00
@media (prefers-color-scheme: light) {
pre,
th-literate-program {
background-color: transparent;
border: 0.1rem solid var(--border-1);
2024-02-17 21:03:45 +01:00
}
2023-08-18 18:26:41 +02:00
}
pre > code,
th-literate-program > code {
padding: 0;
2023-09-03 12:09:37 +02:00
background: none;
2024-06-13 21:50:09 +02:00
border-radius: 0;
2023-09-03 12:09:37 +02:00
}
2024-02-17 21:03:45 +01:00
th-literate-program {
white-space: pre;
}
2023-08-20 15:54:06 +02:00
/* And don't let code examples fly off and overflow the window */
2024-02-18 23:37:31 +01:00
pre,
th-literate-program {
2024-02-08 13:49:22 +01:00
min-width: 0;
width: auto;
overflow: auto;
2023-08-20 15:54:06 +02:00
}
2023-08-18 18:26:41 +02:00
/* Also don't let images get out of hand */
img {
max-width: 100%;
}
2024-02-07 11:35:08 +01:00
/* Also regarding images - make them look a bit more pretty by default */
img.pic {
border-radius: 0.6rem;
margin: 0.8rem 0;
2024-02-07 11:35:08 +01:00
}
2024-02-14 23:31:39 +01:00
/* Image hints for tweaking rendering */
img {
&[src*="+pixel"] {
2024-02-17 21:03:45 +01:00
image-rendering: pixelated;
2024-02-14 23:31:39 +01:00
border-radius: 0;
}
2024-02-17 21:03:45 +01:00
/* TODO: These could be autogenerated! */
&[src*="+width72"] {
width: 7.2rem;
2024-02-19 22:32:26 +01:00
height: auto;
}
&[src*="+width160"] {
width: 16rem;
2024-02-14 23:31:39 +01:00
height: auto;
}
&[src*="+width640"] {
width: 64rem;
2024-02-14 23:31:39 +01:00
height: auto;
}
&[src*="+width752"] {
width: 75.2rem;
2024-02-17 21:03:45 +01:00
height: auto;
}
2024-02-14 23:31:39 +01:00
/* Resources for use in JavaScript. */
&.resource {
display: none;
}
}
2023-08-18 18:26:41 +02:00
/* Fix the default blue and ugly purple links normally have */
a {
2023-08-27 17:01:27 +02:00
color: var(--link-color);
2023-08-18 18:26:41 +02:00
}
a:visited {
2023-08-27 17:01:27 +02:00
color: var(--link-color-visited);
2023-08-18 18:26:41 +02:00
}
2024-03-24 22:32:01 +01:00
/* Allow for some secret links */
a.secret {
color: var(--text-color);
text-decoration: none;
}
2023-08-18 19:25:38 +02:00
/* Make blockquotes a bit prettier */
2023-08-18 18:26:41 +02:00
2023-08-18 19:25:38 +02:00
blockquote {
margin: 0;
padding: 0.4rem 1.2rem;
margin: 0.4rem 0;
border-left: 0.4rem solid var(--border-1);
2023-08-18 17:04:12 +02:00
}
2023-08-18 19:25:38 +02:00
/* And tables. */
2023-08-18 17:04:12 +02:00
2023-08-18 20:58:07 +02:00
table {
margin: 0.8rem 0;
2023-08-18 20:58:07 +02:00
}
2023-08-18 17:04:12 +02:00
2023-08-18 19:25:38 +02:00
table,
th,
td {
border: 0.1rem solid var(--border-2);
2023-08-18 19:25:38 +02:00
border-collapse: collapse;
padding: 0.4rem 1rem;
2023-08-18 17:04:12 +02:00
}
2023-08-18 19:25:38 +02:00
th {
2023-08-27 15:27:42 +02:00
background-color: var(--shaded-background);
2023-08-18 17:04:12 +02:00
2023-08-18 19:25:38 +02:00
--recursive-wght: 700;
--recursive-casl: 0.5;
2023-08-18 17:04:12 +02:00
}
2023-08-22 18:23:18 +02:00
2024-02-21 23:17:19 +01:00
/* Horizontal rules */
hr {
width: 100%;
border: none;
border-top: 0.1rem solid var(--border-1);
2024-02-21 23:17:19 +01:00
margin-top: 2em;
margin-bottom: 2em;
}
2023-08-27 15:27:42 +02:00
/* Style the noscript box a little more prettily. */
2023-08-22 18:23:18 +02:00
.noscript {
padding: 1.6rem;
2023-08-22 18:23:18 +02:00
background-color: #fde748;
2023-08-27 19:40:47 +02:00
color: var(--text-color-light);
border: 0.1rem solid #6c581c;
border-radius: 0.8rem;
2023-08-22 18:23:18 +02:00
width: fit-content;
margin-left: auto;
margin-right: auto;
margin-top: 1.6rem;
margin-bottom: 1.6rem;
}
.noscript:empty {
display: none;
2023-08-22 18:23:18 +02:00
}
.noscript p {
margin-top: 0;
margin-bottom: 1.6rem;
2023-08-22 18:23:18 +02:00
}
.noscript p:last-child {
margin-bottom: 0;
}
2023-08-27 15:27:42 +02:00
2023-08-27 19:40:47 +02:00
.noscript a {
color: var(--link-color-light);
}
.noscript a:visited {
color: var(--link-color-visited-light);
}
/* Navigation button */
2023-08-27 15:27:42 +02:00
#nav-logo {
width: min-content;
height: min-content;
2023-08-27 15:27:42 +02:00
}
#nav-logo .logo {
/* NOTE: Measurements in px for pixel perfection */
width: 64px;
height: 64px;
2024-02-07 13:32:47 +01:00
2023-08-27 15:27:42 +02:00
display: block;
opacity: 100%;
color: var(--text-color);
}
2023-08-27 18:25:21 +02:00
/* Navigation header (contains page title & breadcrumbs) */
2024-02-07 13:32:47 +01:00
h1.page-title {
--recursive-wght: 850;
2024-11-01 19:12:44 +01:00
margin-top: 0.32rem;
margin-bottom: 0.32rem;
margin-left: 3.6rem;
font-size: 4rem;
2024-03-03 21:43:01 +01:00
& a {
color: var(--text-color);
text-decoration: underline;
text-decoration-color: transparent;
transition: var(--transition-duration) text-decoration-color;
2024-03-03 21:43:01 +01:00
&:hover {
text-decoration-color: var(--text-color);
2024-03-03 21:43:01 +01:00
}
}
}
@media (hover: none) {
h1.page-title a {
text-decoration: underline;
}
2024-02-07 13:32:47 +01:00
}
2024-12-08 12:45:29 +01:00
/* Style badges */
2024-02-21 23:17:19 +01:00
span.badge {
--recursive-wght: 800;
--recursive-mono: 1;
2024-02-21 23:17:19 +01:00
--recursive-casl: 0;
border-radius: 100rem;
padding: 0.2rem 0.6rem;
2024-02-21 23:17:19 +01:00
font-size: 0.9em;
&.red {
color: white;
background-color: #d01243;
}
2024-02-22 16:14:02 +01:00
&.blue {
color: white;
background-color: #058ef0;
}
2024-02-21 23:17:19 +01:00
&.before-content {
margin-right: 0.6rem;
2024-02-21 23:17:19 +01:00
}
}
/* Style the footer */
2024-02-08 22:41:01 +01:00
footer {
padding-left: 1.6rem;
padding-right: 1.6rem;
margin-top: 6.4rem;
padding-bottom: 6.4rem;
display: flex;
flex-direction: row;
& > .left {
flex-grow: 1;
}
& > .right {
flex-shrink: 0;
}
& #footer-icon {
display: block;
& > svg {
display: block;
color: var(--text-color);
opacity: 40%;
}
}
& #open-command-line {
width: 3.2rem;
height: 3.2rem;
background: none;
border: none;
padding: 0;
background-image: var(--icon-cmd);
background-repeat: no-repeat;
background-position: 50% 50%;
opacity: 50%;
transition: var(--transition-duration) opacity;
&:hover {
opacity: 100%;
}
2024-09-29 00:14:11 +02:00
&:active {
opacity: 75%;
2024-09-29 00:14:11 +02:00
}
2024-02-08 22:41:01 +01:00
}
}
@media (hover: none) {
footer > #version-info {
& > ul {
opacity: 100%;
}
}
}
2024-12-08 12:45:29 +01:00
/* Style dialogues */
dialog[open] {
position: fixed;
left: 50%;
top: 50%;
transform: translate(-50%, -50%);
color: var(--text-color);
background-color: var(--background-color);
border: 0.1rem solid var(--border-1);
border-radius: 1.2rem;
2024-12-08 12:45:29 +01:00
}
2023-08-27 18:25:21 +02:00
/* Style emojis to be readable */
2024-03-03 21:23:37 +01:00
img[data-cast~="emoji"] {
2023-08-27 20:54:59 +02:00
max-width: 1.5em;
max-height: 1.5em;
2023-08-27 18:25:21 +02:00
vertical-align: bottom;
2023-08-27 20:54:59 +02:00
object-fit: contain;
2023-08-27 18:25:21 +02:00
}
2023-08-27 18:47:57 +02:00
2023-08-28 22:11:18 +02:00
/* And also style emoji tooltips. */
2024-02-20 21:50:24 +01:00
th-emoji-tooltip {
2024-02-08 11:49:17 +01:00
display: flex;
2023-08-28 22:11:18 +02:00
flex-direction: column;
align-items: center;
2024-02-20 21:50:24 +01:00
position: fixed;
2024-02-08 11:49:17 +01:00
transform: translateX(-50%) translateY(-10%) scale(0.8);
2023-08-28 22:11:18 +02:00
width: max-content;
z-index: 100;
background-color: var(--background-color-tooltip);
padding: 0.8rem;
margin-top: 0.8rem;
border-radius: 0.6rem;
2024-02-08 11:49:17 +01:00
transition:
opacity var(--transition-duration) cubic-bezier(0.22, 1, 0.36, 1),
filter var(--transition-duration) cubic-bezier(0.22, 1, 0.36, 1),
transform var(--transition-duration) cubic-bezier(0.22, 1, 0.36, 1);
opacity: 0%;
filter: blur(0.3rem);
2024-02-08 11:49:17 +01:00
pointer-events: none;
2023-08-28 22:11:18 +02:00
}
2024-02-20 21:50:24 +01:00
th-emoji-tooltip.transitioned-in {
2024-02-08 11:49:17 +01:00
opacity: 100%;
2024-06-13 21:50:09 +02:00
filter: blur(0);
transform: translateX(-50%) scale(1);
2023-08-28 22:11:18 +02:00
}
2024-02-20 21:50:24 +01:00
th-emoji-tooltip img {
2023-08-28 22:11:18 +02:00
display: block;
max-width: 7.2rem;
max-height: 7.2rem;
2023-08-28 22:11:18 +02:00
}
2024-02-20 21:50:24 +01:00
th-emoji-tooltip p {
2023-08-28 22:11:18 +02:00
--recursive-wght: 550;
color: var(--text-color);
2024-02-20 21:50:24 +01:00
font-size: 0.9em;
2023-08-28 22:11:18 +02:00
margin: 0;
padding-top: 0.6rem;
2023-08-28 22:11:18 +02:00
line-height: 1;
}
2024-07-22 20:34:42 +02:00
.th-emoji-unknown {
text-decoration: 0.1rem underline var(--error-color);
2024-07-22 20:34:42 +02:00
cursor: help;
}
2024-12-08 12:45:29 +01:00
/* Command line */
2023-08-27 18:47:57 +02:00
2024-12-08 12:45:29 +01:00
th-command-line {
--recursive-mono: 1;
--recursive-casl: 0;
display: none;
flex-direction: column;
background-color: var(--background-color-tooltip);
font-size: 87.5%;
2023-08-27 18:47:57 +02:00
2024-12-08 12:45:29 +01:00
&.visible {
display: flex;
position: fixed;
left: 0;
bottom: 0;
width: 100%;
2023-08-27 18:47:57 +02:00
}
2024-12-08 12:45:29 +01:00
& > .input-wrapper {
display: flex;
flex-direction: row;
align-items: center;
2024-12-08 12:45:29 +01:00
padding: 0 0.4rem;
2024-12-08 12:45:29 +01:00
width: 100%;
&::before {
content: ":";
padding-right: 0.2rem;
2024-12-08 12:45:29 +01:00
opacity: 50%;
}
& > input {
background: none;
color: var(--text-color);
border: none;
flex-grow: 1;
padding: 0.2rem 0;
2024-12-08 12:45:29 +01:00
&:focus {
outline: none;
}
}
2023-08-27 18:47:57 +02:00
}
2024-12-08 12:45:29 +01:00
& > ul.suggestions {
list-style: none;
display: flex;
flex-direction: column;
2023-08-27 18:47:57 +02:00
2024-12-08 12:45:29 +01:00
margin: 0;
padding: 0;
max-height: 25vh;
overflow: auto;
2024-12-08 12:45:29 +01:00
& > li {
padding: 0.2rem 0.8rem;
2024-12-08 12:45:29 +01:00
cursor: default;
& > dfn {
--recursive-crsv: 0;
--recursive-wght: 700;
margin-right: 2ch;
}
&:hover,
&.tabbed {
background-color: var(--liquidex-brand-blue);
color: white;
}
&.immediate {
cursor: pointer;
}
}
}
}
@media (hover: none) {
th-command-line {
& > ul.suggestions > li {
border-bottom: 0.1rem solid var(--border-1);
}
}
}
@media (pointer: coarse) {
th-command-line {
& > .input-wrapper > input {
padding: 0.8rem 0;
}
& > ul.suggestions > li {
padding: 0.8rem 0.8rem;
2024-12-08 12:45:29 +01:00
}
}
2024-02-08 22:41:01 +01:00
}
2024-02-16 22:01:19 +01:00
/* Literate programming support */
2024-02-18 12:10:02 +01:00
:root {
--error-color: #d94141;
}
@media (prefers-color-scheme: dark) {
:root {
--error-color: #e39393;
}
}
2024-02-17 14:56:17 +01:00
th-literate-program[data-mode="input"] {
2024-02-16 22:01:19 +01:00
/* Override the cursor with an I-beam, because the editor captures clicks and does not bubble
them back up to the caller */
cursor: text;
}
2024-02-17 14:56:17 +01:00
th-literate-program[data-mode="output"] {
2024-02-18 00:29:58 +01:00
padding: 0;
background: none;
2024-02-18 12:10:02 +01:00
border: none;
2024-02-19 22:32:26 +01:00
border-radius: 0;
2024-02-18 00:29:58 +01:00
2024-02-20 23:30:36 +01:00
& iframe,
2024-02-21 23:26:53 +01:00
& img.placeholder-image {
2024-02-18 00:29:58 +01:00
border-style: none;
border-radius: 0.4rem;
2024-02-18 10:58:57 +01:00
display: block;
2024-02-21 23:17:19 +01:00
}
2024-04-07 18:11:56 +02:00
& iframe {
width: 100%;
}
2024-02-21 23:26:53 +01:00
& img.placeholder-image.js {
2024-02-20 23:30:36 +01:00
transition: opacity var(--transition-duration);
}
& iframe,
2024-02-21 23:26:53 +01:00
& img.placeholder-image.loading {
2024-02-20 23:30:36 +01:00
opacity: 50%;
}
& iframe.loaded {
opacity: 100%;
2024-02-18 00:29:58 +01:00
}
/* The inner iframe is hidden until something requests display. */
& iframe.hidden {
display: none;
}
2024-02-18 12:10:02 +01:00
& pre > code {
2024-02-18 23:37:31 +01:00
display: block;
}
2024-02-18 12:10:02 +01:00
& pre.error {
color: var(--error-color);
position: relative;
&:empty {
display: none;
}
&::after {
content: "Error";
2024-02-18 12:10:02 +01:00
padding: 0.8rem;
2024-02-18 12:10:02 +01:00
position: absolute;
right: 0;
top: 0;
color: var(--text-color);
opacity: 50%;
}
}
2024-02-18 23:37:31 +01:00
2024-02-21 23:26:53 +01:00
& pre.console,
& pre.placeholder-console {
2024-02-18 23:37:31 +01:00
position: relative;
2024-02-21 23:26:53 +01:00
margin-top: 0;
margin-bottom: 0;
2024-02-18 23:37:31 +01:00
&:empty {
display: none;
}
&::after {
content: "Console";
2024-02-18 23:37:31 +01:00
padding: 0.8rem;
2024-02-18 23:37:31 +01:00
position: absolute;
right: 0;
top: 0;
color: var(--text-color);
opacity: 50%;
}
}
2024-02-18 00:29:58 +01:00
}
2024-02-17 18:01:17 +01:00
/* Syntax highlighting */
:root {
2024-02-17 21:03:45 +01:00
--syntax-comment: #9b8580;
--syntax-identifier: var(--text-color);
--syntax-keyword1: #e15e2b;
--syntax-keyword2: #199aca;
--syntax-operator: #e3755b;
--syntax-function: #d57b07;
--syntax-literal: #a64fb3;
--syntax-string: #79ac3b;
--syntax-punct: #a28680;
2024-02-17 18:01:17 +01:00
}
@media (prefers-color-scheme: dark) {
:root {
--syntax-comment: #aca8a4;
--syntax-identifier: var(--text-color);
--syntax-keyword1: #ffb06a;
2024-02-19 22:32:26 +01:00
--syntax-keyword2: #8ad4f9;
2024-02-17 18:01:17 +01:00
--syntax-operator: #ec9f8d;
--syntax-function: #fbd283;
--syntax-literal: #e9b9f0;
--syntax-string: #b0dd7a;
--syntax-punct: #9d9a96;
}
}
.th-syntax-highlighting span {
&.comment {
--recursive-slnt: -16;
2024-02-17 18:01:17 +01:00
color: var(--syntax-comment);
}
&.identifier {
color: var(--syntax-identifier);
}
&.keyword1 {
color: var(--syntax-keyword1);
}
&.keyword2 {
color: var(--syntax-keyword2);
}
&.operator {
color: var(--syntax-operator);
}
&.function {
color: var(--syntax-function);
}
&.literal {
color: var(--syntax-literal);
}
&.string {
color: var(--syntax-string);
}
&.punct {
color: var(--syntax-punct);
}
2024-02-17 21:03:45 +01:00
2024-03-12 20:03:00 +01:00
&.error {
color: var(--error-color);
text-decoration: wavy underline;
}
2024-05-18 13:41:43 +02:00
&.hidden {
display: none;
}
&.type-hint {
color: var(--syntax-comment);
font-size: 80%;
}
2024-02-17 21:03:45 +01:00
}
.th-syntax-highlighting {
& .export {
text-decoration: underline dotted;
cursor: help;
text-decoration-color: transparent;
transition: text-decoration-color var(--transition-duration);
}
&:hover,
&:focus {
& .export {
text-decoration-color: var(--syntax-keyword1);
}
}
2024-02-17 18:01:17 +01:00
}
2024-02-21 23:17:19 +01:00
/* Style settings sections */
2024-03-03 21:23:37 +01:00
section[data-cast~="settings"] {
2024-02-21 23:17:19 +01:00
/* Don't display settings when JavaScript is disabled.
JS overrides this value on the element itself. */
display: none;
2024-03-02 20:53:44 +01:00
}