aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMirek Kratochvil <miroslav.kratochvil@uni.lu>2023-06-14 12:15:44 +0200
committerMirek Kratochvil <miroslav.kratochvil@uni.lu>2023-06-14 12:15:44 +0200
commita04255d92cfdad56385ee6d94309bc8b493a613a (patch)
treed73c7c939c3d090bb188fb825e3deb2de47af57a
parenta0213a15e909045ae3f40826850ef4b080dcb988 (diff)
downloadreploy-a04255d92cfdad56385ee6d94309bc8b493a613a.tar.gz
reploy-a04255d92cfdad56385ee6d94309bc8b493a613a.tar.bz2
kill debug printout
-rw-r--r--assets/fonts.css217
-rw-r--r--site.hs3
2 files changed, 218 insertions, 2 deletions
diff --git a/assets/fonts.css b/assets/fonts.css
new file mode 100644
index 0000000..b9f8d70
--- /dev/null
+++ b/assets/fonts.css
@@ -0,0 +1,217 @@
+/* generated using https://gwfh.mranftl.com/ */
+
+/* roboto-mono-100 - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: normal;
+ font-weight: 100;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-100.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-100italic - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: italic;
+ font-weight: 100;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-100italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-300 - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: normal;
+ font-weight: 300;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-300.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-300italic - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: italic;
+ font-weight: 300;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-300italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-regular - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: normal;
+ font-weight: 400;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-italic - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: italic;
+ font-weight: 400;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-700 - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: normal;
+ font-weight: 700;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-700.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* roboto-mono-700italic - cyrillic_cyrillic-ext_greek_latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Roboto Mono';
+ font-style: italic;
+ font-weight: 700;
+ src: url('fonts/roboto-mono-v22-cyrillic_cyrillic-ext_greek_latin_latin-ext-700italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-100 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: normal;
+ font-weight: 100;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-100.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-100italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: italic;
+ font-weight: 100;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-100italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-300 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: normal;
+ font-weight: 300;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-300.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-300italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: italic;
+ font-weight: 300;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-300italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-regular - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: normal;
+ font-weight: 400;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: italic;
+ font-weight: 400;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-700 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: normal;
+ font-weight: 700;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-700.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-condensed-700italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow Condensed';
+ font-style: italic;
+ font-weight: 700;
+ src: url('fonts/barlow-condensed-v12-latin_latin-ext-700italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-100 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: normal;
+ font-weight: 100;
+ src: url('fonts/barlow-v12-latin_latin-ext-100.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-100italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: italic;
+ font-weight: 100;
+ src: url('fonts/barlow-v12-latin_latin-ext-100italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-300 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: normal;
+ font-weight: 300;
+ src: url('fonts/barlow-v12-latin_latin-ext-300.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-300italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: italic;
+ font-weight: 300;
+ src: url('fonts/barlow-v12-latin_latin-ext-300italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-regular - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: normal;
+ font-weight: 400;
+ src: url('fonts/barlow-v12-latin_latin-ext-regular.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: italic;
+ font-weight: 400;
+ src: url('fonts/barlow-v12-latin_latin-ext-italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-700 - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: normal;
+ font-weight: 700;
+ src: url('fonts/barlow-v12-latin_latin-ext-700.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
+
+/* barlow-700italic - latin_latin-ext */
+@font-face {
+ font-display: swap; /* Check https://developer.mozilla.org/en-US/docs/Web/CSS/@font-face/font-display for other options. */
+ font-family: 'Barlow';
+ font-style: italic;
+ font-weight: 700;
+ src: url('fonts/barlow-v12-latin_latin-ext-700italic.woff2') format('woff2'); /* Chrome 36+, Opera 23+, Firefox 39+, Safari 12+, iOS 10+ */
+}
diff --git a/site.hs b/site.hs
index 600589d..c756cf6 100644
--- a/site.hs
+++ b/site.hs
@@ -131,8 +131,7 @@ rootUrl fp = (</> unAbsolute fp) <$> use urlBase
-- | Process a single link pointing out from a page.
processLink :: FilePath -> FilePath -> Site String
-processLink base l = do
- io $ putStrLn l
+processLink base l =
if any (l `hasUriScheme`) ["http", "https", "ftp", "mailto"]
then pure l
else if isAbsolute l