Fixed the doc-contrib page

This commit is contained in:
Griatch 2022-11-23 22:14:59 +01:00
parent da341af663
commit 58e9008428
5 changed files with 77 additions and 153 deletions

View file

@ -703,9 +703,8 @@ div.highlight > pre {
/* default ({code-block}, no arg) - used for in-game code */
div.highlight-shell.notranslate > div.highlight > pre {
background-color: #faf2e6;
font-weight: bold;
font-style: italic;
background-color: #505050;
color: white;
}
div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */