[feat] redesign

This commit is contained in:
mangoiv 2023-08-19 17:06:38 +02:00
parent b252b7b0db
commit 2043893714
Signed by: mangoiv
SSH key fingerprint: SHA256:JlsRe4zkmS13EG6gMFNjv13Lw5rtoMPu3Lq69ZQTKF8
17 changed files with 173 additions and 454 deletions

View file

@ -1,25 +1,35 @@
---
title: About
title: about
---
### What I'm doing
### 👋 hi, I'm mango
You know me from the internet as this little fella:
<center>
<img
class="is-center is-horizontal-align bg-primary is-rounded"
style="width:15%; max-width: 255px;"
src="/images/mango-256-256.png"
alt="mango pixel avatar"
title="mango pixel avatar"
/>
</center>
### what I'm currently up to
- I study computer science at the university of Leipzig
- Currently I'm interested in
- my main interstests currently include
- [effects](https://www.youtube.com/watch?v=wk3Qj15WPpk)
- [cats](https://http.cat/status/300)
- [plants](https://git.sr.ht/~mangoiv/htree)
- [generic programming](https://git.sr.ht/~mangoiv/haskell-sandbox/tree/e9d38ed30bfff4e695d37f4bd7e94bc664058a0e/item/Recursion.hs)
- [bar](https://flora.pm/packages/@hackage/sop-core)[bies](https://flora.pm/packages/@hackage/barbies)
- [L∃∀4](https://leanprover.github.io/)
- keyboards and PCBs such as the [DracuLad](https://github.com/MangoIV/dracuLad) and the
- I design(ed) keyboards and PCBs such as the [DracuLad](https://github.com/MangoIV/dracuLad) and the
[Le Chiffre Bluetooth drop-in replacement PCB](https://github.com/MangoIV/le_chiff_ble)
### [My sourcehut](https://sr.ht/~mangoiv/)
### [my sourcehut](https://sr.ht/~mangoiv/)
I have moved to [sourcehut](https://sr.ht/) for anything non-keyboard-related and I can really recommend
you to have a look. Other alternatives to GitHub include
[codeberg](https://codeberg.org/) or [gitlab](https://gitlab.com/).
### deployment status of this website
[![builds.sr.ht status](https://builds.sr.ht/~mangoiv/website/commits/main/.build.yml.svg)](https://builds.sr.ht/~mangoiv/website/commits/main/.build.yml?)

View file

@ -1,5 +1,5 @@
---
title: Contact
title: contact
---
[send a mail to contact@mangoiv.com](mailto:contact@mangoiv.com)
You can [send a mail to contact@mangoiv.com](mailto:contact@mangoiv.com) or [ping me on mastodon](https://elk.zone/functional.cafe/@mangoiv).

3
css/chota.min.css vendored Normal file

File diff suppressed because one or more lines are too long

View file

@ -1,14 +1,19 @@
header {
border-bottom: 0.1rem solid;
@font-face {
font-family: 'Dosis';
src: url('/css/fonts/dosis.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
nav {
text-align: right;
@font-face {
font-family: 'Victor Mono';
src: url('/css/fonts/victor-mono.ttf') format('truetype');
font-weight: normal;
font-style: normal;
}
footer {
margin-top: 3rem;
padding: 1.2rem 0;
border-top: 0.1rem solid;
}
@ -16,19 +21,13 @@ article .header {
font-style: italic;
}
.logo a {
font-weight: bold;
text-decoration: none;
}
@media (max-width: 319px) {
body {
width: 90%;
margin: 0;
padding: 0 5%;
}
header {
margin: 4.2rem 0;
margin: 1rem 0;
}
nav {
margin: 0 auto 3rem;
@ -37,38 +36,27 @@ article .header {
footer {
text-align: center;
}
.logo {
text-align: center;
margin: 1rem auto 3rem;
}
nav a {
display: block;
margin: 1rem 0;
}
}
@media (min-width: 320px) {
body {
width: 90%;
margin: 0;
padding: 0 5%;
}
header {
margin: 4.2rem 0;
margin: 1rem 0;
}
nav {
margin: 0 auto 3rem;
text-align: center;
}
footer {
text-align: center;
}
.logo {
text-align: center;
margin: 1rem auto 3rem;
}
nav a {
display: inline;
margin: 0 0.6rem;
margin: 1rem 0;
}
}
@ -82,22 +70,4 @@ article .header {
margin: 0 0 3rem;
padding: 1.2rem 0;
}
nav {
margin: 0;
text-align: right;
}
nav a {
margin: 0 0 0 1.2rem;
display: inline;
}
footer {
text-align: right;
}
.logo {
margin: 0;
text-align: left;
}
.logo a {
float: left;
}
}

BIN
css/fonts/dosis.ttf Normal file

Binary file not shown.

BIN
css/fonts/victor-mono.ttf Normal file

Binary file not shown.

File diff suppressed because one or more lines are too long

File diff suppressed because one or more lines are too long

349
css/normalize.css vendored
View file

@ -1,349 +0,0 @@
/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
/* Document
========================================================================== */
/**
* 1. Correct the line height in all browsers.
* 2. Prevent adjustments of font size after orientation changes in iOS.
*/
html {
line-height: 1.15; /* 1 */
-webkit-text-size-adjust: 100%; /* 2 */
}
/* Sections
========================================================================== */
/**
* Remove the margin in all browsers.
*/
body {
margin: 0;
}
/**
* Render the `main` element consistently in IE.
*/
main {
display: block;
}
/**
* Correct the font size and margin on `h1` elements within `section` and
* `article` contexts in Chrome, Firefox, and Safari.
*/
h1 {
font-size: 2em;
margin: 0.67em 0;
}
/* Grouping content
========================================================================== */
/**
* 1. Add the correct box sizing in Firefox.
* 2. Show the overflow in Edge and IE.
*/
hr {
box-sizing: content-box; /* 1 */
height: 0; /* 1 */
overflow: visible; /* 2 */
}
/**
* 1. Correct the inheritance and scaling of font size in all browsers.
* 2. Correct the odd `em` font sizing in all browsers.
*/
pre {
font-family: monospace, monospace; /* 1 */
font-size: 1em; /* 2 */
}
/* Text-level semantics
========================================================================== */
/**
* Remove the gray background on active links in IE 10.
*/
a {
background-color: transparent;
}
/**
* 1. Remove the bottom border in Chrome 57-
* 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
*/
abbr[title] {
border-bottom: none; /* 1 */
text-decoration: underline; /* 2 */
text-decoration: underline dotted; /* 2 */
}
/**
* Add the correct font weight in Chrome, Edge, and Safari.
*/
b,
strong {
font-weight: bolder;
}
/**
* 1. Correct the inheritance and scaling of font size in all browsers.
* 2. Correct the odd `em` font sizing in all browsers.
*/
code,
kbd,
samp {
font-family: monospace, monospace; /* 1 */
font-size: 1em; /* 2 */
}
/**
* Add the correct font size in all browsers.
*/
small {
font-size: 80%;
}
/**
* Prevent `sub` and `sup` elements from affecting the line height in
* all browsers.
*/
sub,
sup {
font-size: 75%;
line-height: 0;
position: relative;
vertical-align: baseline;
}
sub {
bottom: -0.25em;
}
sup {
top: -0.5em;
}
/* Embedded content
========================================================================== */
/**
* Remove the border on images inside links in IE 10.
*/
img {
border-style: none;
}
/* Forms
========================================================================== */
/**
* 1. Change the font styles in all browsers.
* 2. Remove the margin in Firefox and Safari.
*/
button,
input,
optgroup,
select,
textarea {
font-family: inherit; /* 1 */
font-size: 100%; /* 1 */
line-height: 1.15; /* 1 */
margin: 0; /* 2 */
}
/**
* Show the overflow in IE.
* 1. Show the overflow in Edge.
*/
button,
input { /* 1 */
overflow: visible;
}
/**
* Remove the inheritance of text transform in Edge, Firefox, and IE.
* 1. Remove the inheritance of text transform in Firefox.
*/
button,
select { /* 1 */
text-transform: none;
}
/**
* Correct the inability to style clickable types in iOS and Safari.
*/
button,
[type="button"],
[type="reset"],
[type="submit"] {
-webkit-appearance: button;
}
/**
* Remove the inner border and padding in Firefox.
*/
button::-moz-focus-inner,
[type="button"]::-moz-focus-inner,
[type="reset"]::-moz-focus-inner,
[type="submit"]::-moz-focus-inner {
border-style: none;
padding: 0;
}
/**
* Restore the focus styles unset by the previous rule.
*/
button:-moz-focusring,
[type="button"]:-moz-focusring,
[type="reset"]:-moz-focusring,
[type="submit"]:-moz-focusring {
outline: 1px dotted ButtonText;
}
/**
* Correct the padding in Firefox.
*/
fieldset {
padding: 0.35em 0.75em 0.625em;
}
/**
* 1. Correct the text wrapping in Edge and IE.
* 2. Correct the color inheritance from `fieldset` elements in IE.
* 3. Remove the padding so developers are not caught out when they zero out
* `fieldset` elements in all browsers.
*/
legend {
box-sizing: border-box; /* 1 */
color: inherit; /* 2 */
display: table; /* 1 */
max-width: 100%; /* 1 */
padding: 0; /* 3 */
white-space: normal; /* 1 */
}
/**
* Add the correct vertical alignment in Chrome, Firefox, and Opera.
*/
progress {
vertical-align: baseline;
}
/**
* Remove the default vertical scrollbar in IE 10+.
*/
textarea {
overflow: auto;
}
/**
* 1. Add the correct box sizing in IE 10.
* 2. Remove the padding in IE 10.
*/
[type="checkbox"],
[type="radio"] {
box-sizing: border-box; /* 1 */
padding: 0; /* 2 */
}
/**
* Correct the cursor style of increment and decrement buttons in Chrome.
*/
[type="number"]::-webkit-inner-spin-button,
[type="number"]::-webkit-outer-spin-button {
height: auto;
}
/**
* 1. Correct the odd appearance in Chrome and Safari.
* 2. Correct the outline style in Safari.
*/
[type="search"] {
-webkit-appearance: textfield; /* 1 */
outline-offset: -2px; /* 2 */
}
/**
* Remove the inner padding in Chrome and Safari on macOS.
*/
[type="search"]::-webkit-search-decoration {
-webkit-appearance: none;
}
/**
* 1. Correct the inability to style clickable types in iOS and Safari.
* 2. Change font properties to `inherit` in Safari.
*/
::-webkit-file-upload-button {
-webkit-appearance: button; /* 1 */
font: inherit; /* 2 */
}
/* Interactive
========================================================================== */
/*
* Add the correct display in Edge, IE 10+, and Firefox.
*/
details {
display: block;
}
/*
* Add the correct display in all browsers.
*/
summary {
display: list-item;
}
/* Misc
========================================================================== */
/**
* Add the correct display in IE 10+.
*/
template {
display: none;
}
/**
* Add the correct display in IE 10.
*/
[hidden] {
display: none;
}

12
fourmolu.yaml Normal file
View file

@ -0,0 +1,12 @@
indentation: 2
function-arrows: leading
comma-style: leading
import-export-style: leading
indent-wheres: false
record-brace-space: true
newlines-between-decls: 1
haddock-style: single-line
let-style: inline
in-style: right-align
respectful: false
single-constraint-parens: never

Binary file not shown.

Before

Width:  |  Height:  |  Size: 5.5 KiB

BIN
images/mango-196-196.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 23 KiB

BIN
images/mango-256-256.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 31 KiB

BIN
images/mango-32-32.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 2.3 KiB

View file

@ -1,5 +1,5 @@
---
title: Start
title: home
---
<head>

70
site.hs
View file

@ -9,46 +9,50 @@ import Hakyll
--------------------------------------------------------------------------------
main :: IO ()
main = hakyll $ do
match "images/*" do
route idRoute
compile copyFileCompiler
match "images/*" do
route idRoute
compile copyFileCompiler
match "css/*" do
route idRoute
compile compressCssCompiler
match "css/*" do
route idRoute
compile compressCssCompiler
match (fromList ["about.md", "contact.md"]) do
route $ setExtension "html"
compile $
pandocCompiler
>>= loadAndApplyTemplate "templates/default.html" defaultContext
>>= relativizeUrls
match "css/fonts/*" do
route idRoute
compile copyFileCompiler
match "posts/*" do
route $ setExtension "html"
compile $
pandocCompiler
>>= loadAndApplyTemplate "templates/post.html" postCtx
>>= loadAndApplyTemplate "templates/default.html" postCtx
>>= relativizeUrls
match (fromList ["about.md", "contact.md"]) do
route $ setExtension "html"
compile $
pandocCompiler
>>= loadAndApplyTemplate "templates/default.html" defaultContext
>>= relativizeUrls
match "index.html" do
route idRoute
compile do
posts <- recentFirst =<< loadAll "posts/*"
let indexCtx =
listField "posts" postCtx (return posts)
<> defaultContext
match "posts/*" do
route $ setExtension "html"
compile $
pandocCompiler
>>= loadAndApplyTemplate "templates/post.html" postCtx
>>= loadAndApplyTemplate "templates/default.html" postCtx
>>= relativizeUrls
getResourceBody
>>= applyAsTemplate indexCtx
>>= loadAndApplyTemplate "templates/default.html" indexCtx
>>= relativizeUrls
match "index.html" do
route idRoute
compile do
posts <- recentFirst =<< loadAll "posts/*"
let indexCtx =
listField "posts" postCtx (return posts)
<> defaultContext
match "templates/*" $ compile templateBodyCompiler
getResourceBody
>>= applyAsTemplate indexCtx
>>= loadAndApplyTemplate "templates/default.html" indexCtx
>>= relativizeUrls
match "templates/*" $ compile templateBodyCompiler
--------------------------------------------------------------------------------
postCtx :: Context String
postCtx =
dateField "date" "%B %e, %Y"
<> defaultContext
dateField "date" "%B %e, %Y"
<> defaultContext

View file

@ -4,20 +4,57 @@
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>MangoIV's webpage $title$</title>
<link rel="stylesheet" type="text/css" href="css/normalize.css" />
<link rel="stylesheet" type="text/css" href="css/milligram.min.css" />
<title>mangoiv's webpage - $title$</title>
<link rel="stylesheet" type="text/css" href="css/chota.min.css" />
<link rel="stylesheet" type="text/css" href="css/default.css" />
<style>
body.dark {
--bg-color: #282a36;
--bg-secondary-color: #44475a;
--color-primary: #bd93f9;
--color-lightGrey: #6272a4;
--color-grey: #8be9fd;
--color-darkGrey: #ff79c6;
--color-error: #ff5555;
--color-success: #50fa7b;
--font-color: #f8f8f2;
}
:root {
--bg-color: #eff1f5;
--bg-secondary-color: #e6e9ef;
--color-primary: #dc8a78;
--color-lightGrey: #bac2de;
--color-grey: #6c7086;
--color-darkGrey: #313244;
--color-error: #d20f39;
--color-success: #40a02b;
--font-color: #4c4f69;
--grid-maxWidth: 120rem;
--grid-gutter: 2rem;
--font-size: 1.6rem;
--font-family-sans: "Dosis", "Segoe UI", Tahoma, Geneva, sans-serif;
--font-family-mono: "Victor Mono", monospace;
}
</style>
<link rel="me" href="https://functional.cafe/@mangoiv"/>
<link rel="icon" typ="image/png" href="/images/mango-32-32.png" sizes="32x32"/>
<link rel="icon" typ="image/png" href="/images/mango-196-196.png" sizes="196x196"/>
</head>
<body>
<header>
<div class="logo">
<a href="/">MangoIV's webpage</a>
</div>
<nav>
<a href="/">Home</a>
<a href="/about.html">About</a>
<a href="/contact.html">Contact</a>
<nav class="nav" >
<div class="nav-left">
</div>
<div class="nav-center">
<div class="tabs">
<a href="/">home</a>
<a href="/about.html">about</a>
<a href="/contact.html">contact</a>
</div>
</div>
<div class="nav-right">
<a id="darkModeButton" class="button icon-only">🔅</a>
</div>
</nav>
</header>
@ -26,8 +63,44 @@
</main>
<footer>
Site proudly generated by
<a href="http://jaspervdj.be/hakyll">Hakyll</a>
<div class="row" >
<div class="col is-right">
<div>
site proudly hacked together with <a href="http://jaspervdj.be/hakyll">Hakyll</a>
</div>
</div>
</div>
</footer>
<script>
const darkModeButton = document.getElementById('darkModeButton');
const mode = localStorage.getItem('dark-mode');
const lighton = String.fromCodePoint(0x1F506);
const lightoff = String.fromCodePoint(0x1F505);
if (mode === 'dark') {
document.body.classList.add('dark');
darkModeButton.textContent = lighton;
} else if (mode === 'light') {
document.body.classList.remove('dark');
darkModeButton.textContent = lightoff;
} else {
if (window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches) {
document.body.classList.add('dark');
darkModeButton.textContent = lightoff;
}
}
darkModeButton.addEventListener('click', () => {
document.body.classList.toggle('dark');
if (document.body.classList.contains('dark')) {
darkModeButton.textContent = lighton;
localStorage.setItem('dark-mode', 'dark');
} else {
darkModeButton.textContent = lightoff;
localStorage.setItem('dark-mode', 'light');
}
});
</script>
</body>
</html>