-
Notifications
You must be signed in to change notification settings - Fork 0
/
config.toml
71 lines (59 loc) · 1.61 KB
/
config.toml
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
baseURL = "https://lingo-db.com"
languageCode = "en-us"
title = "LingoDB - Revolutionizing Data Processing with Compiler Technology"
disqusShortname = "username" # delete this to disable disqus comments
[params]
author = "Michael Jungmair"
copyright = "Technische Universität München – Fakultät für Informatik: Lehrstuhl III: Datenbanksysteme"
githubUsername = "#"
accent = "#007bff"
showBorder = true
backgroundColor = "#f0f0f0"
font = "Nunito" # should match the name on Google Fonts!
[markup]
[markup.highlight]
anchorLineNos = false
codeFences = true
guessSyntax = false
hl_Lines = ''
hl_inline = false
lineAnchors = ''
lineNoStart = 1
lineNos = false
lineNumbersInTable = true
noClasses = true
noHl = false
style = 'pygments'
tabWidth = 4
[[menu.main]]
url = "#features"
name = "Features"
Identifier = "features"
weight = 1
[[menu.main]]
url = "#research"
name = "Research"
Identifier = "research"
weight = 2
[[menu.main]]
url = "#publications"
name = "Publications"
Identifier = "publications"
weight = 3
[[menu.main]]
url = "#team"
name = "Team"
Identifier = "team"
weight = 4
[[menu.main]]
url = "#contact"
name = "Contact"
Identifier = "contact"
weight = 5
# Social icons to be shown on the right-hand side of the navigation bar.
# The "name" field should match the name of the icon in Font Awesome.
# The list of available icons can be found at http://fontawesome.io/icons.
[[menu.icon]]
url = "mailto:[email protected]"
name = "envelope"
weight = 2