diff options
| author | 2021-05-14 14:18:31 +0800 | |
|---|---|---|
| committer | 2021-05-14 14:23:29 +0800 | |
| commit | 21d16cb4802e713b2ca5d97b7ac2fa0fe42b878b (patch) | |
| tree | d68f1b186a96e52d0aa3e9710f69bf57fa0d1484 /pydis_site/settings.py | |
| parent | Merge branch main into dewikification (diff) | |
Use bulma extension in place of self-written code.
Diffstat (limited to '')
| -rw-r--r-- | pydis_site/settings.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pydis_site/settings.py b/pydis_site/settings.py index 2fd16241..7df7ad85 100644 --- a/pydis_site/settings.py +++ b/pydis_site/settings.py @@ -261,6 +261,7 @@ BULMA_SETTINGS = { "tooltip-max-width": "30rem", }, "extensions": [ + "bulma-dropdown", "bulma-navbar-burger", ], } |