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
|
#!/usr/bin/env python
# -*- coding: utf-8 -*- #
from os import getenv
if getenv("CRYPTECH_WIKI_PRODUCTION_BUILD"):
SITEURL = "https://wiki.cryptech.is/"
RELATIVE_URLS = False
else:
SITEURL = ""
RELATIVE_URLS = True
del getenv
AUTHOR = "Cryptech Core Team"
SITENAME = "Cryptech Project"
PATH = "content"
TIMEZONE = "UTC"
DEFAULT_LANG = "en"
# Feed generation is usually not desired when developing
#FEED_ALL_ATOM = None
#CATEGORY_FEED_ATOM = None
#TRANSLATION_FEED_ATOM = None
#AUTHOR_FEED_ATOM = None
#AUTHOR_FEED_RSS = None
DEFAULT_PAGINATION = 10
THEME = "m.css/pelican-theme"
THEME_STATIC_DIR = "static"
M_LINKS_NAVBAR1 = [
("Repositories", "https://git.cryptech.is/", "git", []),
("Documents", "presentations-and-design-documents.html", "documents", []),
("Mailing Lists", "mailing-lists.html", "mailinglists", []),
("Archives", "archives.html", "archives", []),
]
M_CSS_FILES = [
"https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,400i,600,600i%7CSource+Code+Pro:400,400i,600",
"/static/m-dark.css"
]
M_HIDE_ARTICLE_SUMMARY = True
M_THEME_COLOR = "#22272e"
PLUGIN_PATHS = ["m.css/plugins"]
PLUGINS = ["m.htmlsanity"]
# Per https://docs.getpelican.com/en/latest/faq.html#how-can-i-use-a-static-page-as-my-home-page
INDEX_SAVE_AS = "pelican-index.html"
# https://docs.getpelican.com/en/stable/settings.html#url-settings
# Fiddle with names to so that /Foo will do the right thing even when
# /Foo/ is a directory with supporting content.
ARTICLE_URL = "{slug}"
ARTICLE_SAVE_AS = "{slug}/index.html"
PAGE_URL = "pages/{slug}"
PAGE_SAVE_AS = "pages/{slug}/index.html"
# Enable Markdown tables support.
MARKDOWN = {
"extension_configs": {
"markdown.extensions.codehilite": {"css_class": "highlight"},
"markdown.extensions.extra": {},
"markdown.extensions.meta": {},
"markdown.extensions.tables": {},
},
"output_format": "html5",
}
|
