This is an automated email from the git hooks/post-receive script. roptat pushed a commit to branch master in repository guix-artwork.
The following commit(s) were added to refs/heads/master by this push: new 2601660 website: css: Improve rule for '.symbol-definition' and content. 2601660 is described below commit 26016607738340c3ba9481a3b007a6db4705b415 Author: Julien Lepiller <jul...@lepiller.eu> AuthorDate: Mon Oct 19 17:28:13 2020 +0200 website: css: Improve rule for '.symbol-definition' and content. * website/static/base/css/code.css (.symbol-definition): Add top border, background and padding. (.symbol-definition-category): Remove border. (.symbol-definition + dd): Add background and convert margin to padding to align the backgrounds of it and the .symbol-definitin above. --- website/static/base/css/code.css | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/website/static/base/css/code.css b/website/static/base/css/code.css index 8858cf2..e7c53ac 100644 --- a/website/static/base/css/code.css +++ b/website/static/base/css/code.css @@ -55,12 +55,15 @@ a[href].syntax-symbol:hover { /* Additional syntax for the post-processed manual. */ -.symbol-definition { font-weight: normal; } +.symbol-definition { + font-weight: normal; + border-top: 3px solid #d4cbb6; + background: #eee; + margin: 0; + padding: .5em 0; +} .symbol-definition-category { /* first argument to @deffn etc. */ - border-width: 0 0 0px 1px; - border-style: solid; - border-color: #bbb; font-size: 80%; color: #333; margin-right: 10px; @@ -71,3 +74,9 @@ a[href].syntax-symbol:hover { font-family: monospace; font-size: 110%; } + +.symbol-definition + dd { + background: #fafafa; + margin: 0; + padding: .5em 3% 1em 3%; +}