branch master updated: website: css: Improve rule for '.symbol-definition' and content.

[julien lepiller]

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 <julien@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%;
+}