diff --git a/assets/media/icons/custom/agda.svg b/assets/media/icons/agda.svg similarity index 92% rename from assets/media/icons/custom/agda.svg rename to assets/media/icons/agda.svg index d4a93c5..ebce23e 100644 --- a/assets/media/icons/custom/agda.svg +++ b/assets/media/icons/agda.svg @@ -1,4 +1,4 @@ - + \ No newline at end of file diff --git a/assets/media/icons/brands/org-gc.svg b/assets/media/icons/brands/org-gc.svg deleted file mode 100644 index 5104413..0000000 --- a/assets/media/icons/brands/org-gc.svg +++ /dev/null @@ -1,15 +0,0 @@ - - - - background - - - - - - - Layer 1 - - GC - - \ No newline at end of file diff --git a/assets/media/icons/brands/org-x.svg b/assets/media/icons/brands/org-x.svg deleted file mode 100644 index 2e7053c..0000000 --- a/assets/media/icons/brands/org-x.svg +++ /dev/null @@ -1,15 +0,0 @@ - - - - background - - - - - - - Layer 1 - - X - - \ No newline at end of file diff --git a/assets/media/icons/custom/coq.svg b/assets/media/icons/coq.svg similarity index 100% rename from assets/media/icons/custom/coq.svg rename to assets/media/icons/coq.svg diff --git a/assets/media/icons/custom/agda_old.svg b/assets/media/icons/custom/agda_old.svg deleted file mode 100644 index 96ee660..0000000 --- a/assets/media/icons/custom/agda_old.svg +++ /dev/null @@ -1,30 +0,0 @@ - - - - - - - - - - - - - - - diff --git a/assets/media/icons/haskell.svg b/assets/media/icons/haskell.svg new file mode 100644 index 0000000..242f262 --- /dev/null +++ b/assets/media/icons/haskell.svg @@ -0,0 +1,15 @@ + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/content/authors/admin/_index.md b/content/authors/admin/_index.md index 52fb14f..7f69e67 100644 --- a/content/authors/admin/_index.md +++ b/content/authors/admin/_index.md @@ -53,8 +53,8 @@ skills: - name: Haskell description: '' percent: 80 - icon: haskell-plain - icon_pack: devicon + icon: haskell + icon_pack: custom - name: Coq description: '' percent: 80 @@ -87,7 +87,7 @@ skills: social: - icon: envelope icon_pack: fas - link: '/#contact' + link: mailto:leon.vatthauer@fau.de # - icon: twitter # icon_pack: fab # link: https://twitter.com/GeorgeCushen