diff options
| author |  ChrisLovering <[email protected]> | 2022-08-18 15:13:27 +0000 |
|---|---|---|
| committer | ChrisLovering <[email protected]> | 2022-08-18 15:13:27 +0000 |
| commit | a044360f2369fbc13a2db0cb1c97f1ac7326e150 (patch) | |
| tree | ea2101762657f14219d5fb97e0b569ceb2bfdf9c /_static | |
| parent | Deploying to docs from @ python-discord/bot-core@009a1395e2bb0bf56e3e94587972... (diff) | |
Deploying to docs from @ python-discord/bot-core@127d0efa219d29e15bd71339d0d2517945aed57c 🚀
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 3e03b367..cbeeae47 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: '8.1.0', + VERSION: '8.2.0', LANGUAGE: 'en', COLLAPSE_INDEX: false, BUILDER: 'html', diff --git a/_static/pygments.css b/_static/pygments.css index c5d3a660..f227e5c6 100644 --- a/_static/pygments.css +++ b/_static/pygments.css @@ -54,6 +54,7 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: .highlight .nt { color: #204a87; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #000000 } /* Name.Variable */ .highlight .ow { color: #204a87; font-weight: bold } /* Operator.Word */ +.highlight .pm { color: #000000; font-weight: bold } /* Punctuation.Marker */ .highlight .w { color: #f8f8f8 } /* Text.Whitespace */ .highlight .mb { color: #0000cf; font-weight: bold } /* Literal.Number.Bin */ .highlight .mf { color: #0000cf; font-weight: bold } /* Literal.Number.Float */ |