diff --git a/_layouts/centered.html b/_layouts/centered.html index 5e4a5c6..2e93ea7 100644 --- a/_layouts/centered.html +++ b/_layouts/centered.html @@ -1,6 +1,20 @@ --- -layout: nav +layout: default ---
+
+ +
+ +
+
{{ content }}
diff --git a/_layouts/nav.html b/_layouts/nav.html deleted file mode 100644 index 213dbeb..0000000 --- a/_layouts/nav.html +++ /dev/null @@ -1,18 +0,0 @@ ---- -layout: default ---- -
- -
- -
-
-{{ content }} diff --git a/_layouts/other.html b/_layouts/other.html deleted file mode 100644 index 9f398dd..0000000 --- a/_layouts/other.html +++ /dev/null @@ -1,9 +0,0 @@ ---- -layout: centered ---- -
-

{{ page.title }}

-
- {{ content }} -
-
diff --git a/about.html b/about.html index 5e608e5..b3f986e 100644 --- a/about.html +++ b/about.html @@ -1,5 +1,5 @@ --- -layout: other +layout: centered title: "about" --- @@ -7,19 +7,16 @@ title: "about"

me

-

My name is Rachel Lambda Samuelsson, and my pronouns are she/her. I'm an undergrad at Chalmers University of Technology, studying computer science and engineering. My interests include functional programming, type theory, univalent mathematics, foundations, logic and category theory. I'm a fan of Haskell, Agda, Idris and Scheme.

- -

web

-

This is a website where I post whatever I feel like, the source of which is available at my git.

+

My name is Rachel Lambda Samuelsson, my pronouns are she/her. I'm an undergrad at Chalmers University of Technology, studying computer science and engineering. My interests include type theory, univalent mathematics, category theory, logic, and functional programming. If I write code it is probably in Agda, Idris, or Haskell.

contact

-
+

picture

a picture of me
me with π
diff --git a/assets/css/fonts/SAX2.ttf b/assets/css/fonts/SAX2.ttf new file mode 100644 index 0000000..c42f6a4 Binary files /dev/null and b/assets/css/fonts/SAX2.ttf differ diff --git a/assets/css/fonts/cmunrm.ttf b/assets/css/fonts/cmunrm.ttf deleted file mode 100644 index 5e182b3..0000000 Binary files a/assets/css/fonts/cmunrm.ttf and /dev/null differ diff --git a/assets/css/fonts/cmuntt.ttf b/assets/css/fonts/cmuntt.ttf deleted file mode 100644 index d975a18..0000000 Binary files a/assets/css/fonts/cmuntt.ttf and /dev/null differ diff --git a/assets/css/main.scss b/assets/css/main.scss index 16d858f..8ef9da1 100644 --- a/assets/css/main.scss +++ b/assets/css/main.scss @@ -1,46 +1,26 @@ --- --- -.centercol { - counter-reset: heading; -} - -h1:not(.irrelevant *):before { - content: counter(heading)" "; - counter-increment: heading; -} - -h1:not(.irrelevant *) { - counter-reset: subheading; -} - -h2:not(.irrelevant *):before { - content: counter(heading)"." counter(subheading)" "; - counter-increment: subheading; -} - -h2:not(.irrelevant *) { - counter-reset: subsubheading; -} - -h3:not(.irrelevant *):before { - content: counter(heading)"." counter(subheading)"." counter(subsubheading)" "; - counter-increment: subsubheading; -} - @font-face { - font-family: CMUSerif; - src: url(/assets/css/fonts/cmunrm.ttf); - font-weight: heavy; -} - -@font-face { - font-family: CMUMono; - src: url(/assets/css/fonts/cmuntt.ttf); + font-family: SAX2; + src: url(/assets/css/fonts/SAX2.ttf); } body { - font-family: CMUSerif; + font-family: "SAX2"; + background: #1d1f21; + + background-image: url(/assets/img/bg.png); + background-repeat: repeat; + background-position: center; + + color: #c5c8c6; + + display: flex; + justify-content: center; + + margin: 0; + padding: 0; } img { @@ -51,19 +31,21 @@ figcaption { text-align: center; } -.tcenter { +.catch { + margin-top: 3em; text-align: center; } pre code { display: block; - padding: 10px; - border-top: 2px dotted gray; - border-bottom: 2px dotted gray; + padding: 0.5em; + font-size: 1.2em; + border-top: 2px dotted #808080; + border-bottom: 2px dotted #808080; } table, th, td { - border: 1px solid black; + border: 1px solid #808080; } th, td { @@ -83,25 +65,19 @@ a { } a:link { - color: blue; + color: #ef7627; } a:visited { - color: violet; + color: #ef7627; } a:hover { - color: cyan; + color: #70c0b1; } .sitetitle a, { - color: black -} - -.cup { - max-height: 1.5em; - height: 1.5em; - margin-left: 0.5em; + color: #b55690; } .sitetitle { @@ -111,10 +87,6 @@ a:hover { justify-content: center; } -h1,h2,h3,h4,h5,h6 { - text-align: center; -} - .right { text-align: right; float: right; @@ -137,23 +109,41 @@ h1,h2,h3,h4,h5,h6 { } @media only screen and (max-width : 850px) { - .aba { - display: flex; - flex-direction: column; - align-items: center; - justify-content: top; - } - .rimg { - margin: 1em 0 0 0; - width: 70%; - max-width: 70%; - } + .centercol { + box-sizing: border-box !important; + width: 100vw !important; + padding: 10px !important; + backdrop-filter: blur(4px) !important; + -webkit-backdrop-filter: blur(4px) !important; + box-shadow: none !important; + -webkit-box-shadow: none !important; + } + + .aba { + display: flex; + flex-direction: column; + align-items: center; + justify-content: top; + } + + .rimg { + margin: 1em 0 0 0; + width: 70%; + max-width: 70%; + } +} + +.posts { + margin: 0; + padding: 0; + padding-left: 0; + list-style-type: none; } .post_listing { - margin-top: 40px; - margin-bottom: 40px; + margin-top: 3em; + margin-bottom: 3em; } nav ul { @@ -170,7 +160,7 @@ nav ul li { } hr { - color: gray; + color: #808080; border: 0; border-bottom: 1px dashed; } @@ -181,8 +171,17 @@ table { } .centercol { - width: 50em; + box-sizing: border-box; + width: 60vw; + min-height: 100vh; max-width: 94vw; - display: block; - margin: auto; + padding: 4em; + backdrop-filter: blur(7px); + -webkit-backdrop-filter: blur(7px); + box-shadow: 0 0 0 5px #d54e53; + -webkit-box-shadow: 0 0 0 5px #d54e53; +} + +table { + border-collapse: collapse; } diff --git a/assets/img/_bg.tex b/assets/img/_bg.tex new file mode 100644 index 0000000..cb41ea2 --- /dev/null +++ b/assets/img/_bg.tex @@ -0,0 +1,53 @@ +\documentclass[preview]{standalone} + +\usepackage{tikz} +\usepackage{tikz-cd} +\usepackage{amssymb} + +\usetikzlibrary{calc} +% `pathmorphing` is necessary to draw squiggly arrows. +\usetikzlibrary{decorations.pathmorphing} + +% A TikZ style for curved arrows of a fixed height, due to AndréC. +\tikzset{curve/.style={settings={#1},to path={(\tikztostart) + .. controls ($(\tikztostart)!\pv{pos}!(\tikztotarget)!\pv{height}!270:(\tikztotarget)$) + and ($(\tikztostart)!1-\pv{pos}!(\tikztotarget)!\pv{height}!270:(\tikztotarget)$) + .. (\tikztotarget)\tikztonodes}}, + settings/.code={\tikzset{quiver/.cd,#1} + \def\pv##1{\pgfkeysvalueof{/tikz/quiver/##1}}}, + quiver/.cd,pos/.initial=0.35,height/.initial=0} + +% TikZ arrowhead/tail styles. +\tikzset{tail reversed/.code={\pgfsetarrowsstart{tikzcd to}}} +\tikzset{2tail/.code={\pgfsetarrowsstart{Implies[reversed]}}} +\tikzset{2tail reversed/.code={\pgfsetarrowsstart{Implies}}} +% TikZ arrow styles. +\tikzset{no body/.style={/tikz/dash pattern=on 0 off 1mm}} + +\begin{document} +\[\begin{tikzcd} + && \bullet && \bullet \\ + \\ + \bullet && \bullet && \bullet && \bullet \\ + \\ + \bullet && \bullet && \bullet && \bullet \\ + \\ + && \bullet && \bullet && \bullet + \arrow[from=3-3, to=5-3] + \arrow[from=3-5, to=5-5] + \arrow[from=5-3, to=5-5] + \arrow[from=3-3, to=3-5] + \arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=3-3, to=5-5] + \arrow[from=3-1, to=3-3] + \arrow[from=5-1, to=5-3] + \arrow[from=3-5, to=3-7] + \arrow[from=5-5, to=5-7] + \arrow[from=1-5, to=3-5] + \arrow[from=1-3, to=3-3] + \arrow[from=5-3, to=7-3] + \arrow[from=5-5, to=7-5] + \arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=5-3, to=7-5] + \arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=3-5, to=5-7] + \arrow["\lrcorner"{anchor=center, pos=0.125}, draw=none, from=5-5, to=7-7] +\end{tikzcd}\] +\end{document} diff --git a/assets/img/_bg.xcf b/assets/img/_bg.xcf new file mode 100644 index 0000000..08efc6f Binary files /dev/null and b/assets/img/_bg.xcf differ diff --git a/assets/img/bg.png b/assets/img/bg.png new file mode 100644 index 0000000..4acbb1b Binary files /dev/null and b/assets/img/bg.png differ diff --git a/flake.lock b/flake.lock index cd0b603..3c70185 100644 --- a/flake.lock +++ b/flake.lock @@ -1,11 +1,29 @@ { "nodes": { + "flake-utils": { + "inputs": { + "systems": "systems" + }, + "locked": { + "lastModified": 1701680307, + "narHash": "sha256-kAuep2h5ajznlPMD9rnQyffWG8EM/C73lejGofXvdM8=", + "owner": "numtide", + "repo": "flake-utils", + "rev": "4022d587cbbfd70fe950c1e2083a02621806a725", + "type": "github" + }, + "original": { + "owner": "numtide", + "repo": "flake-utils", + "type": "github" + } + }, "nixpkgs": { "locked": { - "lastModified": 1690630041, - "narHash": "sha256-gbnvqm5goS9DSKAqGFpq3398aOpwejmq4qWikqmQyRo=", - "path": "/nix/store/qxgp86sdhxwzj0k89kz2aaw0xw7d8f6i-source", - "rev": "d57e8c535d4cbb07f441c30988ce52eec69db7a8", + "lastModified": 1701263465, + "narHash": "sha256-lNXUIlkfyDyp9Ox21hr+wsEf/IBklLvb6bYcyeXbdRc=", + "path": "/nix/store/7i525k013ds687vgp12lyhwmx79qd4qj-source", + "rev": "50aa30a13c4ab5e7ba282da460a3e3d44e9d0eb3", "type": "path" }, "original": { @@ -15,8 +33,24 @@ }, "root": { "inputs": { + "flake-utils": "flake-utils", "nixpkgs": "nixpkgs" } + }, + "systems": { + "locked": { + "lastModified": 1681028828, + "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=", + "owner": "nix-systems", + "repo": "default", + "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e", + "type": "github" + }, + "original": { + "owner": "nix-systems", + "repo": "default", + "type": "github" + } } }, "root": "root", diff --git a/flake.nix b/flake.nix index 2a9118b..659b80a 100644 --- a/flake.nix +++ b/flake.nix @@ -1,9 +1,14 @@ { description = "My website"; - outputs = { self, nixpkgs }: { - devShells.x86_64-linux.default = import ./shell.nix { - pkgs = nixpkgs.legacyPackages."x86_64-linux"; - }; + inputs = { + flake-utils.url = "github:numtide/flake-utils"; }; + + outputs = { self, nixpkgs, flake-utils }: + flake-utils.lib.eachDefaultSystem (sys: { + devShells.default = import ./shell.nix { + pkgs = nixpkgs.legacyPackages.${sys}; + }; + }); } diff --git a/index.html b/index.html index 713c8cc..c7b4b4f 100644 --- a/index.html +++ b/index.html @@ -4,10 +4,10 @@ title: "blog" --- {% katexmm %} -

$\bot \vdash \top$

+

$\bot \vdash \top$

{% endkatexmm %} -
    +
      {% for post in site.posts %}
    • {{ post.title }} diff --git a/shell.nix b/shell.nix index 893c6bf..470fb35 100644 --- a/shell.nix +++ b/shell.nix @@ -43,6 +43,7 @@ with pkgs; let jekyll-katex = (buildRubyGem { gemName = "jekyll-katex"; dependencies = [ rubyPackages.execjs jekyll ]; + nativeBuildInputs = [ rubyPackages.execjs jekyll ]; groups = ["default"]; platforms = []; source = { @@ -78,16 +79,27 @@ with pkgs; let }; version = "0.1.0"; }); -in -mkShell { - packages = [ - nodejs - (ruby.withPackages (ps: with ps; [ + + rubyEnv = ruby.withPackages (ps: with ps; [ jekyll jekyll-feed jekyll-katex jekyll-minifier jekyll-agda - ])) + execjs + cssminify2 + htmlcompressor + json-minify + uglifier + kramdown + kramdown-parser-gfm + webrick + ]); +in +mkShell { + packages = [ + nodejs ]; + + inputsFrom = [ rubyEnv ]; } diff --git a/work.html b/work.html index 00e4717..2f6d593 100644 --- a/work.html +++ b/work.html @@ -1,5 +1,5 @@ --- -layout: other +layout: centered title: "work" ---