blob: 866cfcd2bd16d94f94bf9ac00bf36dcebc10958e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
% Copyright (C) 1991 Silvio Levy
%
% This file is free software: you can redistribute it and/or modify
% it under the terms of the GNU General Public License as published by
% the Free Software Foundation, either version 2 of the License, or
% (at your option) any later version.
%
% This file is distributed in the hope that it will be useful,
% but WITHOUT ANY WARRANTY; without even the implied warranty of
% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
% GNU General Public License for more details.
%
% You should have received a copy of the GNU General Public License
% along with this program. If not, see <http://www.gnu.org/licenses/>.
%
% As a special exception, if you create a document which uses this font,
% and embed this font or unaltered portions of this font into the
% document, this font does not by itself cause the resulting document to
% be covered by the GNU General Public License. This exception does not
% however invalidate any other reasons why the document might be covered
% by the GNU General Public License. If you modify this font, you may
% extend this exception to your version of the font, but you are not
% obligated to do so. If you do not wish to do so, delete this exception
% statement from your version.
mode_setup;
font_setup;
if not boolean barebones:
readfrom("upper");
readfrom("graccent");
fi
readfrom("lower");
if not boolean barebones:
readfrom("digits");
readfrom("grpunct");
fi
readfrom("lig");
font_slant slant; font_x_height x_height#;
if monospace: font_normal_space 9u#; % no stretching or shrinking
font_quad 18u#;
font_extra_space 9u#;
else: font_normal_space 6u#+2letter_fit#;
font_normal_stretch 3u#; font_normal_shrink 2u#;
font_quad 18u#+4letter_fit#;
font_extra_space 2u#;
fi
bye.
|