Update doc look, fix some typos

This commit is contained in:
Griatch 2021-11-10 01:25:53 +01:00
parent 7d277fb7dd
commit 5d072dae8e
5 changed files with 29 additions and 21 deletions

View file

@ -696,6 +696,12 @@ div.code-block-caption + div > div.highlight > pre {
margin-top: 0;
}
div.highlight > pre {
font-family: "Ubuntu Mono", monospace;
line-height: 1.4em;
font-size: small;
}
div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */
user-select: none;
}