blob: b9f69e0970d1ee4be9789a5c6932a2104fdc2dcc (
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
|
%%
%% This is file `sjtu-text-font-times.def',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% sjtutex.dtx (with options: `font,text,times')
%%
%% Copyright (C) SJTUG
%% 2018--2024 Weijian Wu <alexarawu@outlook.com>
%% 2022--2024 Zilong Li <logcreative@outlook.com>
%%
%% This work may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either
%% version 1.3c of this license or (at your option) any later
%% version. The latest version of this license is in:
%%
%% http://www.latex-project.org/lppl.txt
%%
%% and version 1.3 or later is part of all distributions of
%% LaTeX version 2005/12/01 or later.
%%
\GetIdInfo$Id: sjtutex.dtx 6d52363 2024-04-05 19:40:30 +0800 Alexara Wu <alexarawu@outlook.com> $
{Times text fonts definition (SJTUTeX)}
\ProvidesExplFile{sjtu-text-font-times.def}
{\ExplFileDate}{2.1.2}{\ExplFileDescription}
\__sjtu_fontset_case:nn
{
\tl_set:Nn \encodingdefault { T1 }
\tl_set:Nn \rmdefault { ptm }
\tl_set:Nn \Hv@scale { 0.94 }
\tl_set:Nn \sfdefault { phv }
\tl_set:Nn \ttdefault { pcr }
}
{
\setmainfont { Times~New~Roman } [ Ligatures = Rare ]
\setsansfont { Arial } [ Scale = 0.94 ]
\setmonofont { Courier~New }
}
\endinput
%%
%% End of file `sjtu-text-font-times.def'.
|