From 29a54f1f753ebe55fdffaec3965b0acf4c04ae3b Mon Sep 17 00:00:00 2001
From: Beat Hagenlocher
Date: Sun, 30 Jun 2024 22:47:37 +0200
Subject: Add badges, adjust style

---
 assets/logos/clojure.svg | 49 ++++++++++++++++++++++++++++++++++++++++++++++++
 assets/logos/haskell.svg |  2 +-
 assets/logos/racket.svg  | 17 +++++++++++++++++
 index.html.pm            | 14 ++++++++++++--
 pollen.rkt               |  6 +++---
 template.html.p          |  7 +++++--
 6 files changed, 87 insertions(+), 8 deletions(-)
 create mode 100644 assets/logos/clojure.svg
 create mode 100644 assets/logos/racket.svg

diff --git a/assets/logos/clojure.svg b/assets/logos/clojure.svg
new file mode 100644
index 0000000..8d4cba4
--- /dev/null
+++ b/assets/logos/clojure.svg
@@ -0,0 +1,49 @@
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   version="1.1"
+   width="256"
+   height="256"
+   id="svg2">
+  <metadata
+     id="metadata4">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <defs
+     id="defs6" />
+  <path
+     d="M 127.999,0 C 57.423,0 0,57.423 0,128.001 0,198.585 57.423,256.005 127.999,256.005 198.577,256.005 256,198.585 256,128.001 256,57.423 198.577,0 127.999,0"
+     id="path8"
+     style="fill:#ffffff" />
+  <path
+     d="m 123.318,130.303 c -1.15,2.492 -2.419,5.292 -3.733,8.272 -4.645,10.524 -9.789,23.33 -11.668,31.534 -0.675,2.922 -1.093,6.543 -1.085,10.558 0,1.588 0.085,3.257 0.22,4.957 6.567,2.413 13.66,3.74 21.067,3.753 6.743,-0.013 13.221,-1.127 19.284,-3.143 -1.425,-1.303 -2.785,-2.692 -4.023,-4.257 -8.22,-10.482 -12.806,-25.844 -20.062,-51.674"
+     id="path10"
+     style="fill:#91dc47" />
+  <path
+     d="m 92.97,78.225 c -15.699,11.064 -25.972,29.312 -26.011,49.992 0.039,20.371 10.003,38.383 25.307,49.493 3.754,-15.637 13.164,-29.955 27.275,-58.655 -0.838,-2.302 -1.793,-4.822 -2.862,-7.469 -3.909,-9.806 -9.551,-21.194 -14.586,-26.351 -2.567,-2.694 -5.682,-5.022 -9.123,-7.01"
+     id="path12"
+     style="fill:#91dc47" />
+  <path
+     d="m 181.394,198.367 c -8.1,-1.015 -14.785,-2.24 -20.633,-4.303 -9.836,4.884 -20.913,7.643 -32.642,7.643 -40.584,0 -73.483,-32.894 -73.488,-73.49 0,-22.027 9.704,-41.773 25.056,-55.24 -4.106,-0.992 -8.388,-1.571 -12.762,-1.563 -21.562,0.203 -44.323,12.136 -53.799,44.363 -0.886,4.691 -0.675,8.238 -0.675,12.442 0,63.885 51.791,115.676 115.671,115.676 39.122,0 73.682,-19.439 94.611,-49.169 -11.32,2.821 -22.206,4.17 -31.528,4.199 -3.494,0 -6.774,-0.187 -9.811,-0.558"
+     id="path14"
+     style="fill:#63b132" />
+  <path
+     d="m 159.658,175.953 c 0.714,0.354 2.333,0.932 4.586,1.571 15.157,-11.127 25.007,-29.05 25.046,-49.307 l -0.006,0 c -0.057,-33.771 -27.386,-61.096 -61.165,-61.163 -6.714,0.013 -13.164,1.121 -19.203,3.122 12.419,14.156 18.391,34.386 24.168,56.515 0.003,0.01 0.008,0.018 0.01,0.026 0.011,0.018 1.848,6.145 5.002,14.274 3.132,8.118 7.594,18.168 12.46,25.492 3.195,4.908 6.709,8.435 9.102,9.47"
+     id="path16"
+     style="fill:#90b4fe" />
+  <path
+     d="m 128.122,12.541 c -38.744,0 -73.016,19.073 -94.008,48.318 10.925,-6.842 22.08,-9.31 31.815,-9.222 13.446,0.039 24.017,4.208 29.089,7.06 1.225,0.706 2.388,1.466 3.527,2.247 9.05,-3.986 19.05,-6.215 29.574,-6.215 40.589,0.005 73.493,32.899 73.499,73.488 l -0.006,0 c 0,20.464 -8.37,38.967 -21.863,52.291 3.312,0.371 6.844,0.602 10.451,0.584 12.811,0.006 26.658,-2.821 37.039,-11.552 6.769,-5.702 12.44,-14.051 15.585,-26.569 0.615,-4.835 0.969,-9.75 0.969,-14.752 0,-63.882 -51.786,-115.678 -115.671,-115.678"
+     id="path18"
+     style="fill:#5881d8" />
+</svg>
diff --git a/assets/logos/haskell.svg b/assets/logos/haskell.svg
index 627a5af..9fec1b4 100644
--- a/assets/logos/haskell.svg
+++ b/assets/logos/haskell.svg
@@ -1 +1 @@
-<svg xmlns="http://www.w3.org/2000/svg" width="140" height="140" viewBox="0 0 120 80"><path d="M1.842 77.722L26.586 40.63 1.842 3.537H20.4L45.144 40.63 20.4 77.722H1.842zm0 0" fill="#453a62"/><path d="M26.586 77.722L51.33 40.63 26.586 3.537h18.558L94.63 77.722H76.074L60.61 54.54 45.143 77.722H26.586zm0 0" fill="#5e5086"/><path d="M86.384 56.085L78.136 43.72h28.868v12.366h-20.62zM74.012 37.54l-8.248-12.365h41.24V37.54H74.012zm0 0" fill="#8f4e8b"/></svg>
+<svg xmlns="http://www.w3.org/2000/svg" width="140" height="100" viewBox="0 0 120 80"><path d="M1.842 77.722L26.586 40.63 1.842 3.537H20.4L45.144 40.63 20.4 77.722H1.842zm0 0" fill="#453a62"/><path d="M26.586 77.722L51.33 40.63 26.586 3.537h18.558L94.63 77.722H76.074L60.61 54.54 45.143 77.722H26.586zm0 0" fill="#5e5086"/><path d="M86.384 56.085L78.136 43.72h28.868v12.366h-20.62zM74.012 37.54l-8.248-12.365h41.24V37.54H74.012zm0 0" fill="#8f4e8b"/></svg>
diff --git a/assets/logos/racket.svg b/assets/logos/racket.svg
new file mode 100644
index 0000000..d5c05d0
--- /dev/null
+++ b/assets/logos/racket.svg
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="utf-8"?>
+<!-- Generator: Adobe Illustrator 15.1.0, SVG Export Plug-In . SVG Version: 6.00 Build 0)  -->
+<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
+<svg version="1.1" id="circle_pieces" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" x="0px"
+	 y="0px" width="511.875px" height="511.824px" viewBox="0 0 511.875 511.824" enable-background="new 0 0 511.875 511.824"
+	 xml:space="preserve">
+<circle id="circle" fill="#FFFFFF" cx="256.252" cy="255.986" r="253.093"/>
+<path id="blue-piece" fill="#3E5BA9" d="M455.398,412.197c33.792-43.021,53.946-97.262,53.946-156.211
+	c0-139.779-113.313-253.093-253.093-253.093c-30.406,0-59.558,5.367-86.566,15.197C272.435,71.989,408.349,247.839,455.398,412.197z
+	"/>
+<path id="left-red-piece" fill="#9F1D20" d="M220.003,164.337c-39.481-42.533-83.695-76.312-130.523-98.715
+	C36.573,112.011,3.159,180.092,3.159,255.986c0,63.814,23.626,122.104,62.597,166.623
+	C100.111,319.392,164.697,219.907,220.003,164.337z"/>
+<path id="bottom-red-piece" fill="#9F1D20" d="M266.638,221.727c-54.792,59.051-109.392,162.422-129.152,257.794
+	c35.419,18.857,75.84,29.559,118.766,29.559c44.132,0,85.618-11.306,121.74-31.163C357.171,381.712,317.868,293.604,266.638,221.727
+	z"/>
+</svg>
diff --git a/index.html.pm b/index.html.pm
index d2ca248..9cd456a 100644
--- a/index.html.pm
+++ b/index.html.pm
@@ -3,9 +3,14 @@
 ◊(require string-interpolation)
 
 ◊`(div ([class ,"flex bg-[@{raisin-black}]"])
-    (div ([class "hidden lg:flex flex-col shrink-0 justify-around ml-12"])
+    (div ([class "hidden my-2 lg:flex flex-col items-center shrink-0 justify-around ml-12"])
+        ,(badge "Locality of Behavior")
         (img ([src "assets/logos/nix.png"] [class "aspect-auto w-24"]))
+        ,(badge "Simplicity")
+        (img ([src "assets/logos/clojure.svg"] [class "aspect-auto w-24"]))
+        ,(badge "Lenses")
         (img ([src "assets/logos/ferris.svg"] [class "aspect-auto w-24"]))
+        ,(badge "Reproducibility")
     )
     (div ([class ,"flex flex-col justify-between mx-auto min-h-screen max-w-screen-xl px-4 pt-12 md:px-8 md:pt-20 lg:px-16 text-zinc-300"])
         (div ([class "my-6"])
@@ -36,9 +41,14 @@
                 (path ([stroke-linecap "round"] [stroke-linejoin "round"] [d "m19.5 8.25-7.5 7.5-7.5-7.5"]))))
         )
     )
-    (div ([class "hidden lg:flex flex-col shrink-0 justify-around mr-12"])
+    (div ([class "hidden my-2 lg:flex flex-col items-center shrink-0 justify-around mr-12"])
+        ,(badge "Functional Data Structures")
         (img ([src "assets/logos/haskell.svg"] [class "aspect-auto w-28"]))
+        ,(badge "Category Theory")
         (img ([src "assets/logos/elixir.svg"] [class "aspect-auto w-24"]))
+        ,(badge "Distributed Systems")
+        (img ([src "assets/logos/racket.svg"] [class "aspect-auto w-24"]))
+        ,(badge "Low Coupling")
     )
 )
 
diff --git a/pollen.rkt b/pollen.rkt
index 5fb2194..e054ac4 100644
--- a/pollen.rkt
+++ b/pollen.rkt
@@ -12,14 +12,14 @@
 (provide (all-defined-out))
 
 (define (badge topic)
-  `(li ([class "mr-1.5 mb-2"])
-		(div ([class ,"flex items-center rounded-full bg-[@{celadon}]/10 px-3 py-1 text-xs font-medium leading-5 text-[@{celadon}]"]) ,topic)))
+  `(div ([class "mr-1.5 mb-2"])
+		(div ([class ,"flex items-center rounded-full bg-[@{celadon}]/10 px-4 py-2 text-sm font-medium leading-5 text-[@{celadon}]"]) ,topic)))
 
 ; (->badges "Haskell, Nix, Racket")
 (define (->badges topics)
   (let ([top-list (map (curry string-trim #:left? #t) 
   					   (string-split topics ","))])
-    `(ul ([class "flex flex-wrap justify-center"] [aria-label "Tools/Techniques used"])
+    `(div ([class "flex flex-wrap justify-center"] [aria-label "Tools/Techniques used"])
          ,(for/splice ([topic top-list]) (badge topic)))))
 
 (define (link text url)
diff --git a/template.html.p b/template.html.p
index 95dca26..58f7bcf 100644
--- a/template.html.p
+++ b/template.html.p
@@ -44,10 +44,13 @@
 			<div class="flex flex-wrap justify-center items-center gap-4 sm:gap-6 md:gap-8 text-sm text-zinc-400">
 				<div class="flex flex-wrap gap-x-2 justify-center">
 					<p class="">
-						© 2024
+						Made with
+					</p>
+					<p class="">
+						❤️
 					</p>
 					<p class="whitespace-nowrap">
-						Functional Coders Tübingen
+						by Functional Coders Tübingen
 					</p>
 				</div>
 				◊; <div class="flex gap-4 sm:gap-6 md:gap-8">
-- 
cgit v1.2.3