pre {border: 1px dashed gray; margin: 0.5em 1em; padding: 0.5em; line-height: 1.2em; font-size: 85%; font-family: "Consolas", "Courier New", monospace; background-color: white;}\r
pre span.c {color: green;}\r
pre span.k {color: blue;}\r
+pre span.b {font-weight: bold;}\r
pre span.arg {font-style: italic;}\r
tt {margin: 0 0.2em; font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; }\r
tt.arg {font-style: italic;}\r
dd {margin: 0 2em;}\r
dt {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}\r
dl.par dt {margin: 0.5em 0 0 0 ; font-style: italic; }\r
-dl.ret dt {margin: 0.5em 0 0 0 ; font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}\r
+dl.ret dt {margin: 0.5em 0 0 0 ; font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; font-weight: bold; }\r
hr {border-width: 1px; margin: 1em;}\r
div.abst {font-family: sans-serif;}\r
div.para {clear: both; font-family: serif;}\r
table {margin: 0.5em 1em; border-collapse: collapse; border: 2px solid black; }\r
th {background-color: white; border-style: solid; border-width: 1px 1px 2px; border-color: black; padding: 0 3px; vertical-align: top; white-space: nowrap;}\r
td {background-color: white; border: 1px solid black; padding: 0 3px; vertical-align: top; line-height: 1.3em;}\r
-table.lst td:first-child {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}\r
-table.lst2 td {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace;}\r
+table.lst td:first-child {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}\r
+table.lst2 td {font-size: 0.85em; font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}\r
+table.lst3 td {font-family: "Consolas", "Courier New", monospace; white-space: nowrap;}\r
table caption {font-family: sans-serif; font-weight: bold;}\r
tr.lst3 td { border-width: 2px 1px 1px; }\r
\r