1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
| #let font-size = (
"0": 42pt,
"-0": 36pt,
"1": 26pt,
"-1": 24pt,
"2": 22pt,
"-2": 18pt,
"3": 16pt,
"-3": 15pt,
"4": 14pt,
"-4": 12pt,
"5": 10.5pt,
"-5": 9pt,
"6": 7.5pt,
"-6": 6.5pt,
"7": 5.5pt,
"-7": 5pt,
)
|