blob: 93ca3f5c151bf46a7f7936faeecdddcd5d3174ff (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
% -*- coding: utf-8 -*-
delim_0 "\\leaders\\hbox{$\\cdot$}\\hfill "
delim_1 "\\leaders\\hbox{$\\cdot$}\\hfill "
delim_2 "\\leaders\\hbox{$\\cdot$}\\hfill "
lethead_flag 1
lethead_prefix "\n\\centerline{\\bfseries --- "
lethead_suffix " ---}\\par\\nobreak"
priority 0
|