blob: 3dbe1aa62bd8119d604e0f7f4824d6a78f737bf9 (
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
|
[[heading]]
# 1. Reading this document
level = 1
greedy = true
font.name = "Times-Bold"
font.size = 10.0
# font.size_tolerance = 1e-5
# font.color = 0x000000
# font.superscript = false
# font.italic = false
# font.serif = true
# font.monospace = false
# font.bold = true
# bbox.left = 110.99996948242188
# bbox.top = 229.2888946533203
# bbox.right = 221.8401641845703
# bbox.bottom = 239.2888946533203
# bbox.tolerance = 1e-5
[[heading]]
# 2.1. The current problem
level = 2
greedy = true
font.name = "Times-Bold"
font.size = 10.0
# font.size_tolerance = 1e-5
# font.color = 0x000000
# font.superscript = false
# font.italic = false
# font.serif = true
# font.monospace = false
# font.bold = true
# bbox.left = 111.00103759765625
# bbox.top = 448.88885498046875
# bbox.right = 220.63095092773438
# bbox.bottom = 458.88885498046875
# bbox.tolerance = 1e-5
|
