repl-color -> repl_color

This commit is contained in:
2022-10-16 00:07:02 +02:00
parent 37b723d3fb
commit a7998e48af
11 changed files with 38 additions and 38 deletions

View File

@@ -15,13 +15,13 @@
}
.line a:link, .line a:visited, .line a:hover, .line a:active {
color: var(--repl-color-link);
color: var(--repl_color-link);
text-decoration: underline;
}
.line a::after {
content: "⤤";
color: var(--repl-color-link);
color: var(--repl_color-link);
font-size: 80%;
text-decoration: none;
}
@@ -29,7 +29,7 @@
.line .cmd {
cursor: pointer;
text-decoration: underline dotted;
color: var(--repl-color-link);
color: var(--repl_color-link);
}
.line .cmd::before {content: "'"}