Andreas/evennia
1
0
Fork 0
mirror of https://github.com/evennia/evennia.git synced 2026-03-17 05:16:31 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

Change doc style for code

Browse source
This commit is contained in:
Griatch 2021-11-10 23:45:40 +01:00
parent b27e51ac32
commit 297daf5492
4 changed files with 73 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

7
docs/source/_static/basic.css
View file

@ -702,6 +702,13 @@ div.highlight > pre {
font-size: smaller;
}
/* 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;
}
div.doctest > div.highlight span.gp { /* gp: Generic.Prompt */
user-select: none;
}