?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
history | raw | HEAD
Set the font to FONT_UI after exiting a plugin (FS#10132). This makes the core Rockbo...
[kugel-rb/myfork.git] / manual / mkidx.ist
blobb8d7571c4accd52d774af7cd1ada1e8024cd771a
1 headings_flag 1
2 heading_prefix "{\\bf "
3 heading_suffix "}\\nopagebreak%\n \\vskip.2\\baselineskip\\nopagebreak%"
4