diff options
| author |  ChrisLovering <[email protected]> | 2023-08-28 20:55:49 +0000 |
|---|---|---|
| committer | ChrisLovering <[email protected]> | 2023-08-28 20:55:49 +0000 |
| commit | 59a405118aad72f3f2b520e687eea0aad5bce344 (patch) | |
| tree | ab93a47e91b824ad043db8473dc6265e57c51655 /_static | |
| parent | Deploying to docs from @ python-discord/bot-core@fc8af5edac4aaacb9862401d7a80... (diff) | |
Deploying to docs from @ python-discord/bot-core@1309de6a1ea513763336fac1f12e1991b2510477 🚀
Diffstat (limited to '_static')
| -rw-r--r-- | _static/documentation_options.js | 2 | ||||
| -rw-r--r-- | _static/pygments.css | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/_static/documentation_options.js b/_static/documentation_options.js index 63076d4c..0c5718fd 100644 --- a/_static/documentation_options.js +++ b/_static/documentation_options.js @@ -1,6 +1,6 @@ var DOCUMENTATION_OPTIONS = { URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'), - VERSION: '10.1.0', + VERSION: '10.2.0', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/_static/pygments.css b/_static/pygments.css index f227e5c6..6110e9f1 100644 --- a/_static/pygments.css +++ b/_static/pygments.css @@ -22,6 +22,7 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: .highlight .cs { color: #8f5902; font-style: italic } /* Comment.Special */ .highlight .gd { color: #a40000 } /* Generic.Deleted */ .highlight .ge { color: #000000; font-style: italic } /* Generic.Emph */ +.highlight .ges { color: #000000; font-weight: bold; font-style: italic } /* Generic.EmphStrong */ .highlight .gr { color: #ef2929 } /* Generic.Error */ .highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */ .highlight .gi { color: #00A000 } /* Generic.Inserted */ |