diff options
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 { |