Styling (fix #7)

This commit is contained in:
Daniel Kluge 2021-12-26 16:58:39 +01:00
parent 97abf2c367
commit c944a495e4
2 changed files with 17 additions and 2 deletions

View File

@ -4,3 +4,17 @@
flex-direction: column; flex-direction: column;
flex-grow: 2; flex-grow: 2;
} }
.container::-webkit-scrollbar {
width:auto;
}
/*track*/
.container::-webkit-scrollbar-track {
background:rgb(0, 0, 0);
}
/*thumb*/
.container::-webkit-scrollbar-thumb {
background:rgb(24, 138, 24);
}

View File

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