|
|
@ -2214,8 +2214,10 @@ write_documentation( |
|
|
|
"\th1, h2, h3, p { font-family: sans-serif; text-align: justify; }\n" |
|
|
|
"\th1, h2, h3, p { font-family: sans-serif; text-align: justify; }\n" |
|
|
|
"\ttt, pre a:link, pre a:visited, tt a:link, tt a:visited { font-weight: bold; color: #7f0000; }\n" |
|
|
|
"\ttt, pre a:link, pre a:visited, tt a:link, tt a:visited { font-weight: bold; color: #7f0000; }\n" |
|
|
|
"\tpre { font-weight: bold; color: #7f0000; margin-left: 2em; }\n" |
|
|
|
"\tpre { font-weight: bold; color: #7f0000; margin-left: 2em; }\n" |
|
|
|
"\tspan.info { font-weight: bold; font-style: italic; color: #ffffff; background: #000000; }\n" |
|
|
|
"\tspan.info { background: #000000; border: solid thin #000000; " |
|
|
|
"\th3 span.info { float: right; }\n" |
|
|
|
"color: #ffffff; font-size: 80%; font-style: italic; " |
|
|
|
|
|
|
|
"font-weight: bold; white-space: nowrap; }\n" |
|
|
|
|
|
|
|
"\th3 span.info { float: right; font-size: 100%; }\n" |
|
|
|
"\th1.title, h2.title, h3.title { border-bottom: solid 2px #000000; }\n" |
|
|
|
"\th1.title, h2.title, h3.title { border-bottom: solid 2px #000000; }\n" |
|
|
|
"\t--></style>\n" |
|
|
|
"\t--></style>\n" |
|
|
|
"</head>\n" |
|
|
|
"</head>\n" |
|
|
|