Improve styling, add explanation for screencasts, update verify cli script.

Signed-off-by: Fabian Kammel <fk@edgeless.systems>
This commit is contained in:
Fabian Kammel 2023-02-13 16:20:58 +00:00 committed by Moritz Eckert
parent ef815f8947
commit 9e1c91f04b
7 changed files with 1270 additions and 1556 deletions

View file

@ -79,9 +79,11 @@ html[data-theme='dark'] .header-github-link:before {
background-color: #000000; /* terminal background color */
border-color: #000000;
}
.asciinema-theme-edgeless .fg-bg { /* inverse for default text color */
color: #000000;
}
.asciinema-theme-edgeless .bg-fg { /* inverse for terminal background color */
background-color: #ffffff; /* controls color of the cursor */
}