-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathconfig.yaml
85 lines (70 loc) · 2.4 KB
/
config.yaml
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
baseURL: https://gips.dev
languageCode: en-us
defaultContentLanguage: en
title: GIPS Project Site
theme: ["hugo-cloak-email", "cayman-hugo-theme"]
# Syntax highlighting
pygmentsCodefences: true
pygmentsStyle: pygments
taxonomies:
tag: tags
permalinks:
post: /:filename/
params:
# Header text, can be markdown
# project_name: ""
project_name: "**GIPS** - **G**raph-Based (M)**I**LP **P**roblem **S**pecification Tool"
project_tagline: "**GIPS** is a tool to built tools that automatically derive (M)ILP problems from given graph-based specifications."
# Theme customizations by us
frontpage_text: ""
# Date format for post list and single pages
# For more date formats see https://gohugo.io/functions/format/
dateFormat: 2006-01-02
# Footer text, can be markdown
footer: "© 2022-2025 [GIPS Dev Team](/dev-team) • Built with [Hugo](https://gohugo.io/) • [Theme](https://github.com/zwbetz-gh/cayman-hugo-theme) • [Legal Notice](https://www.es.tu-darmstadt.de/impressum) • [Privacy Policy](https://www.es.tu-darmstadt.de/es/datenschutzerklaerung) • [GitHub Privacy Policy](https://docs.github.com/en/site-policy/privacy-policies/github-privacy-statement)."
# If true, make sure to include resources locally
# If true, the CSS/JS for Katex math typesetting are enabled
katex: false
# Breakpoints
large_breakpoint: 64em
medium_breakpoint: 42em
# Color palette: https://coolors.co/palette/8ecae6-219ebc-023047-ffb703-fb8500
# Header colors
header_heading_color: "#fff"
header_background_color: "#023047"
header_background_color_secondary: "#219EBC"
# Text colors
section_headings_color: "#023047"
body_text_color: "#606c71"
body_link_color: "#219EBC"
blockquote_text_color: "#819198"
# Code colors
# code_background_color: "#f3f6fa"
# code_text_color: "#567482"
# Border colors
border_color: "#dce6f0"
table_border_color: "#e9ebec"
hr_border_color: "#eff0f1"
menu:
nav:
- name: News
url: /
weight: 1
- name: "Getting Started"
url: /getting-started/
weight: 2
- name: "Development"
url: /dev/
weight: 3
- name: "Download"
url: /download/
weight: 4
- name: "Publications"
url: /publications/
weight: 5
- name: "Contact"
url: /contact/
weight: 8
# - name: RSS
# url: /index.xml
# weight: 9