version 1.92, 2018/05/01 23:36:39 |
version 1.93, 2018/05/08 17:52:24 |
|
|
print_text(h, "td.head-vol { text-align: center; }"); |
print_text(h, "td.head-vol { text-align: center; }"); |
print_endline(h); |
print_endline(h); |
print_text(h, "div.Pp { margin: 1ex 0ex; }"); |
print_text(h, "div.Pp { margin: 1ex 0ex; }"); |
|
print_endline(h); |
|
print_text(h, "code.Nm, code.Fl, code.Cm, code.Ic, " |
|
"code.In, code.Fd, code.Fn,"); |
|
print_endline(h); |
|
print_text(h, "code.Cd { font-weight: bold; " |
|
"font-family: inherit; }"); |
print_tagq(h, t); |
print_tagq(h, t); |
} |
} |
|
|