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 'pydis_site/settings.py')
-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", ], } |