forked from kisonecat/dvi2html
-
Notifications
You must be signed in to change notification settings - Fork 1
/
fonts.css
96 lines (96 loc) · 6.15 KB
/
fonts.css
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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
@font-face { font-family: cmb10; src: url('fonts/cmb10.ttf'); }
@font-face { font-family: cmbsy10; src: url('fonts/cmbsy10.ttf'); }
@font-face { font-family: cmbsy6; src: url('fonts/cmbsy6.ttf'); }
@font-face { font-family: cmbsy7; src: url('fonts/cmbsy7.ttf'); }
@font-face { font-family: cmbsy8; src: url('fonts/cmbsy8.ttf'); }
@font-face { font-family: cmbsy9; src: url('fonts/cmbsy9.ttf'); }
@font-face { font-family: cmbx10; src: url('fonts/cmbx10.ttf'); }
@font-face { font-family: cmbx12; src: url('fonts/cmbx12.ttf'); }
@font-face { font-family: cmbx5; src: url('fonts/cmbx5.ttf'); }
@font-face { font-family: cmbx6; src: url('fonts/cmbx6.ttf'); }
@font-face { font-family: cmbx7; src: url('fonts/cmbx7.ttf'); }
@font-face { font-family: cmbx8; src: url('fonts/cmbx8.ttf'); }
@font-face { font-family: cmbx9; src: url('fonts/cmbx9.ttf'); }
@font-face { font-family: cmbxsl10; src: url('fonts/cmbxsl10.ttf'); }
@font-face { font-family: cmbxti10; src: url('fonts/cmbxti10.ttf'); }
@font-face { font-family: cmcsc10; src: url('fonts/cmcsc10.ttf'); }
@font-face { font-family: cmcsc8; src: url('fonts/cmcsc8.ttf'); }
@font-face { font-family: cmcsc9; src: url('fonts/cmcsc9.ttf'); }
@font-face { font-family: cmdunh10; src: url('fonts/cmdunh10.ttf'); }
@font-face { font-family: cmex10; src: url('fonts/cmex10.ttf'); }
@font-face { font-family: cmex7; src: url('fonts/cmex7.ttf'); }
@font-face { font-family: cmex8; src: url('fonts/cmex8.ttf'); }
@font-face { font-family: cmex9; src: url('fonts/cmex9.ttf'); }
@font-face { font-family: cmff10; src: url('fonts/cmff10.ttf'); }
@font-face { font-family: cmfi10; src: url('fonts/cmfi10.ttf'); }
@font-face { font-family: cmfib8; src: url('fonts/cmfib8.ttf'); }
@font-face { font-family: cmitt10; src: url('fonts/cmitt10.ttf'); }
@font-face { font-family: cmmi10; src: url('fonts/cmmi10.ttf'); }
@font-face { font-family: cmmi12; src: url('fonts/cmmi12.ttf'); }
@font-face { font-family: cmmi5; src: url('fonts/cmmi5.ttf'); }
@font-face { font-family: cmmi6; src: url('fonts/cmmi6.ttf'); }
@font-face { font-family: cmmi7; src: url('fonts/cmmi7.ttf'); }
@font-face { font-family: cmmi8; src: url('fonts/cmmi8.ttf'); }
@font-face { font-family: cmmi9; src: url('fonts/cmmi9.ttf'); }
@font-face { font-family: cmmib10; src: url('fonts/cmmib10.ttf'); }
@font-face { font-family: cmmib6; src: url('fonts/cmmib6.ttf'); }
@font-face { font-family: cmmib7; src: url('fonts/cmmib7.ttf'); }
@font-face { font-family: cmmib8; src: url('fonts/cmmib8.ttf'); }
@font-face { font-family: cmmib9; src: url('fonts/cmmib9.ttf'); }
@font-face { font-family: cmr10; src: url('fonts/cmr10.ttf'); }
@font-face { font-family: cmr12; src: url('fonts/cmr12.ttf'); }
@font-face { font-family: cmr17; src: url('fonts/cmr17.ttf'); }
@font-face { font-family: cmr5; src: url('fonts/cmr5.ttf'); }
@font-face { font-family: cmr6; src: url('fonts/cmr6.ttf'); }
@font-face { font-family: cmr7; src: url('fonts/cmr7.ttf'); }
@font-face { font-family: cmr8; src: url('fonts/cmr8.ttf'); }
@font-face { font-family: cmr9; src: url('fonts/cmr9.ttf'); }
@font-face { font-family: cmsl10; src: url('fonts/cmsl10.ttf'); }
@font-face { font-family: cmsl12; src: url('fonts/cmsl12.ttf'); }
@font-face { font-family: cmsl8; src: url('fonts/cmsl8.ttf'); }
@font-face { font-family: cmsl9; src: url('fonts/cmsl9.ttf'); }
@font-face { font-family: cmsltt10; src: url('fonts/cmsltt10.ttf'); }
@font-face { font-family: cmss10; src: url('fonts/cmss10.ttf'); }
@font-face { font-family: cmss12; src: url('fonts/cmss12.ttf'); }
@font-face { font-family: cmss17; src: url('fonts/cmss17.ttf'); }
@font-face { font-family: cmss8; src: url('fonts/cmss8.ttf'); }
@font-face { font-family: cmss9; src: url('fonts/cmss9.ttf'); }
@font-face { font-family: cmssbx10; src: url('fonts/cmssbx10.ttf'); }
@font-face { font-family: cmssdc10; src: url('fonts/cmssdc10.ttf'); }
@font-face { font-family: cmssi10; src: url('fonts/cmssi10.ttf'); }
@font-face { font-family: cmssi12; src: url('fonts/cmssi12.ttf'); }
@font-face { font-family: cmssi17; src: url('fonts/cmssi17.ttf'); }
@font-face { font-family: cmssi8; src: url('fonts/cmssi8.ttf'); }
@font-face { font-family: cmssi9; src: url('fonts/cmssi9.ttf'); }
@font-face { font-family: cmssq8; src: url('fonts/cmssq8.ttf'); }
@font-face { font-family: cmssqi8; src: url('fonts/cmssqi8.ttf'); }
@font-face { font-family: cmsy10; src: url('fonts/cmsy10.ttf'); }
@font-face { font-family: cmsy5; src: url('fonts/cmsy5.ttf'); }
@font-face { font-family: cmsy6; src: url('fonts/cmsy6.ttf'); }
@font-face { font-family: cmsy7; src: url('fonts/cmsy7.ttf'); }
@font-face { font-family: cmsy8; src: url('fonts/cmsy8.ttf'); }
@font-face { font-family: cmsy9; src: url('fonts/cmsy9.ttf'); }
@font-face { font-family: cmtcsc10; src: url('fonts/cmtcsc10.ttf'); }
@font-face { font-family: cmtex10; src: url('fonts/cmtex10.ttf'); }
@font-face { font-family: cmtex8; src: url('fonts/cmtex8.ttf'); }
@font-face { font-family: cmtex9; src: url('fonts/cmtex9.ttf'); }
@font-face { font-family: cmti10; src: url('fonts/cmti10.ttf'); }
@font-face { font-family: cmti12; src: url('fonts/cmti12.ttf'); }
@font-face { font-family: cmti7; src: url('fonts/cmti7.ttf'); }
@font-face { font-family: cmti8; src: url('fonts/cmti8.ttf'); }
@font-face { font-family: cmti9; src: url('fonts/cmti9.ttf'); }
@font-face { font-family: cmtt10; src: url('fonts/cmtt10.ttf'); }
@font-face { font-family: cmtt12; src: url('fonts/cmtt12.ttf'); }
@font-face { font-family: cmtt8; src: url('fonts/cmtt8.ttf'); }
@font-face { font-family: cmtt9; src: url('fonts/cmtt9.ttf'); }
@font-face { font-family: cmu10; src: url('fonts/cmu10.ttf'); }
@font-face { font-family: cmvtt10; src: url('fonts/cmvtt10.ttf'); }
@font-face { font-family: esint10; src: url('fonts/esint10.ttf'); }
@font-face { font-family: line10; src: url('fonts/line10.ttf'); }
@font-face { font-family: msam10; src: url('fonts/msam10.ttf'); }
@font-face { font-family: msam5; src: url('fonts/msam5.ttf'); }
@font-face { font-family: msam6; src: url('fonts/msam6.ttf'); }
@font-face { font-family: msam7; src: url('fonts/msam7.ttf'); }
@font-face { font-family: msam8; src: url('fonts/msam8.ttf'); }
@font-face { font-family: msam9; src: url('fonts/msam9.ttf'); }
@font-face { font-family: tcrm1000; src: url('fonts/tcrm1000.ttf'); }