version 1.222, 2018/05/01 23:36:55 |
version 1.223, 2018/05/08 17:52:55 |
Line 186 print_gen_head(struct html *h) |
|
Line 186 print_gen_head(struct html *h) |
|
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); |
} |
} |
|
|