diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-07-31 11:31:35 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-07-31 11:31:35 +0200 |
| commit | 82a4de222e1be9ae8222a5463abe0bb2fdcae40f (patch) | |
| tree | 81852d1bf20b4ada43d491ad69578e498a448510 /guide/_static/basic.css | |
| parent | Update feed list again (diff) | |
| download | python-82a4de222e1be9ae8222a5463abe0bb2fdcae40f.tar.gz python-82a4de222e1be9ae8222a5463abe0bb2fdcae40f.tar.bz2 python-82a4de222e1be9ae8222a5463abe0bb2fdcae40f.zip | |
Update Guide to 9f12d25
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'guide/_static/basic.css')
| -rw-r--r-- | guide/_static/basic.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/guide/_static/basic.css b/guide/_static/basic.css index 7577acb..cfc60b8 100644 --- a/guide/_static/basic.css +++ b/guide/_static/basic.css @@ -670,6 +670,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 +748,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 { |