follow-up #17837: add Console for interactive sessions (#17930)

* follow-up #17837: add `Console` for interactive sessions

* fix Latex
This commit is contained in:
Andrey Makarov 2021-05-06 11:58:01 +03:00 • committed by GitHub
commit 436af88d8c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
14 changed files with 252 additions and 155 deletions

View file

@ -938,6 +938,14 @@ span.option {
color: var(--option);
}
span.Prompt {
font-weight: bold;
color: red; }
span.ProgramOutput {
font-weight: bold;
color: #808080; }
span.program {
font-weight: bold;
color: var(--program);