branch master updated: website: css: Add rules for @deffn, @defftp, etc. in the manual.

[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 39815bb  website: css: Add rules for @deffn, @defftp, etc. in the 
manual.
39815bb is described below

commit 39815bb00bff6bb769b7636d81bb418854c4455c
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Mon Oct 19 13:31:42 2020 +0200

    website: css: Add rules for @deffn, @defftp, etc. in the manual.
    
    These CSS classes were introduced in Guix commit
    d66a4eac4402614a1938fdc4ef0fde0c06badb52.
    
    * website/static/base/css/code.css (.symbol-definition-category)
    (.symbol-definition-prototype): New rules.
---
 website/static/base/css/code.css | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/website/static/base/css/code.css b/website/static/base/css/code.css
index 6f56111..beca9d7 100644
--- a/website/static/base/css/code.css
+++ b/website/static/base/css/code.css
@@ -52,3 +52,20 @@ a[href].syntax-symbol:hover {
 .syntax-paren7:hover { background-color:#DB7859; }
 .syntax-paren8:hover { background-color:#78DB59; }
 .syntax-paren9:hover { background-color:#5978DB; }
+
+/* Additional syntax for the post-processed manual.  */
+
+.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;
+    padding: 5px;
+}
+
+.symbol-definition-prototype { /* remaining arguments to @deffn etc. */
+    font-family: monospace;
+    font-size: 110%;
+}