diff --git a/doc/publican/html/css/common.css b/doc/publican/html/css/common.css index d9c53e8f..40b5c4ec 100644 --- a/doc/publican/html/css/common.css +++ b/doc/publican/html/css/common.css @@ -860,7 +860,7 @@ code { font-family:"liberation mono", "bitstream vera mono", "dejavu mono", monospace; white-space: pre-wrap; word-wrap: break-word; - font-weight:bold; + font-weight: normal; } .parameter code { @@ -878,6 +878,14 @@ code.email { } +.synopsis { + font-weight: normal; +} + +.userinput { + font-style: italic; +} + /*Notifications*/ div.warning, div.note, div.important { color: black;