branch master updated: website: css: Add rule for '.symbol-definition'.

[Ludovic Courtès]

This is an automated email from the git hooks/post-receive script.

civodul pushed a commit to branch master
in repository guix-artwork.

The following commit(s) were added to refs/heads/master by this push:
     new f1f35a8  website: css: Add rule for '.symbol-definition'.
f1f35a8 is described below

commit f1f35a84a2675bb3fc0c3998068d7d928f825c1e
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Mon Oct 19 14:43:40 2020 +0200

    website: css: Add rule for '.symbol-definition'.
    
    This is a followup to 39815bb00bff6bb769b7636d81bb418854c4455c.
    
    * website/static/base/css/code.css (.symbol-definition): New rule.
---
 website/static/base/css/code.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/website/static/base/css/code.css b/website/static/base/css/code.css
index beca9d7..8858cf2 100644
--- a/website/static/base/css/code.css
+++ b/website/static/base/css/code.css
@@ -55,6 +55,8 @@ a[href].syntax-symbol:hover {
 
 /* Additional syntax for the post-processed manual.  */
 
+.symbol-definition { font-weight: normal; }
+
 .symbol-definition-category {  /* first argument to @deffn etc. */
     border-width: 0 0 0px 1px;
     border-style: solid;