website: css: Add rule for '.symbol-definition'.

This is a followup to 39815bb00b. * website/static/base/css/code.css (.symbol-definition): New rule.
2020-10-19 14:43:40 +02:00 · 2020-10-19 14:43:40 +02:00 · f1f35a84a2
parent 39815bb00b
commit f1f35a84a2
1 changed files with 2 additions and 0 deletions
--- 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;