diff options
author | 2023-10-26 13:31:58 +0000 | |
---|---|---|
committer | 2023-10-26 13:31:58 +0000 | |
commit | 63d0cff1159d6d40ed867263abee409568f73d29 (patch) | |
tree | 4f8b1c1ae806944f8bcb778710098f7f6778336a /_static/basic.css | |
parent | Deploying to docs from @ python-discord/bot-core@03575223498fa16ecec18ef39658... (diff) |
Deploying to docs from @ python-discord/bot-core@ee2501e36aa4cb6e809de9873e3d607bdf3309db 🚀
Diffstat (limited to '_static/basic.css')
-rw-r--r-- | _static/basic.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/_static/basic.css b/_static/basic.css index 7577acb1..30fee9d0 100644 --- a/_static/basic.css +++ b/_static/basic.css @@ -237,6 +237,10 @@ a.headerlink { visibility: hidden; } +a:visited { + color: #551A8B; +} + h1:hover > a.headerlink, h2:hover > a.headerlink, h3:hover > a.headerlink, @@ -670,6 +674,16 @@ dd { margin-left: 30px; } +.sig dd { + margin-top: 0px; + margin-bottom: 0px; +} + +.sig dl { + margin-top: 0px; + margin-bottom: 0px; +} + dl > dd:last-child, dl > dd:last-child > :last-child { margin-bottom: 0; @@ -738,6 +752,14 @@ abbr, acronym { cursor: help; } +.translated { + background-color: rgba(207, 255, 207, 0.2) +} + +.untranslated { + background-color: rgba(255, 207, 207, 0.2) +} + /* -- code displays --------------------------------------------------------- */ pre { |