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

Updated HTML docs

Browse source
This commit is contained in:
Griatch 2021-11-13 02:28:53 +01:00
parent d377fd6c90
commit 1e6ef173ac
650 changed files with 23457 additions and 27435 deletions
Download patch file Download diff file Expand all files Collapse all files

7
docs/1.0-dev/_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;
}