summaryrefslogtreecommitdiffhomepage
path: root/public/about/index.html
diff options
context:
space:
mode:
authorLeonardo Santiago <[email protected]>2024-06-01 15:25:15 -0300
committerLeonardo Santiago <[email protected]>2024-06-01 15:25:15 -0300
commit735b245871d94cb6ace8913cd1370b02b5aeb28b (patch)
tree10d9e97d553a5059513a34a5f2b09ae8e9a0dab0 /public/about/index.html
parent31bc6a2f54d86a4978be063f5e614881c625c597 (diff)
remove old theme, use bearblog theme instead
Diffstat (limited to 'public/about/index.html')
-rw-r--r--public/about/index.html1062
1 files changed, 256 insertions, 806 deletions
diff --git a/public/about/index.html b/public/about/index.html
index 0483f54..494ed57 100644
--- a/public/about/index.html
+++ b/public/about/index.html
@@ -1,827 +1,277 @@
<!DOCTYPE html>
-<html lang="en" dir="ltr" class="scroll-smooth" data-default-appearance="dark"
- data-auto-appearance="true"><head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;path=livereload" data-no-instant defer></script>
- <meta charset="utf-8" />
-
- <meta http-equiv="content-language" content="en" />
-
+<html lang="en-US">
+
+<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;path=livereload" data-no-instant defer></script>
+ <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" />
+ <meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
- <meta http-equiv="X-UA-Compatible" content="ie=edge" />
-
- <title>about &middot; lowest case</title>
- <meta name="title" content="about &middot; lowest case" />
-
-
-
-
-
- <link rel="canonical" href="http://localhost:1313/about/" />
-
-
-
-
-
-
-
-
-
-
- <link type="text/css" rel="stylesheet" href="/css/main.bundle.min.81c7ce66608dd0b86aa3e571076f8794993d50f0d4a5b153013edfc28642a93c4104edfdc604558908c3624b8e99386757d81f1bf8c4452c6220cf4c63970408.css"
- integrity="sha512-gcfOZmCN0Lhqo&#43;VxB2&#43;HlJk9UPDUpbFTAT7fwoZCqTxBBO39xgRViQjDYkuOmThnV9gfG/jERSxiIM9MY5cECA==" />
-
-
- <script type="text/javascript" src="/js/appearance.min.516a16745bea5a9bd011138d254cc0fd3973cd55ce6e15f3dec763e7c7c2c7448f8fe7b54cca811cb821b0c7e12cd161caace1dd794ac3d34d40937cbcc9ee12.js"
- integrity="sha512-UWoWdFvqWpvQERONJUzA/TlzzVXObhXz3sdj58fCx0SPj&#43;e1TMqBHLghsMfhLNFhyqzh3XlKw9NNQJN8vMnuEg=="></script>
-
-
-
-
-
-
-
-
-
- <script defer type="text/javascript" id="script-bundle" src="/js/main.bundle.min.b36dda9ec4ec11e967fd341e7d57b8c484ac7a39f8f329f7bcf7ce4812569de8607db866a086d4789956ac0b74967e251c9a566d94d469dd28b8787fed4f46f5.js"
- integrity="sha512-s23ansTsEeln/TQefVe4xISsejn48yn3vPfOSBJWnehgfbhmoIbUeJlWrAt0ln4lHJpWbZTUad0ouHh/7U9G9Q==" data-copy="" data-copied=""></script>
-
-
- <script src="/js/zoom.min.js"></script>
-
-
-
- <link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png" />
- <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png" />
- <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png" />
- <link rel="manifest" href="/site.webmanifest" />
-
-
-
-
-
-
-
- <meta property="og:url" content="http://localhost:1313/about/">
- <meta property="og:site_name" content="lowest case">
+<title>about | lowestcase</title>
+<meta name="title" content="about" />
+<meta name="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
+currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
+if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:" />
+<meta name="keywords" content="" />
+
+
+<meta property="og:url" content="http://localhost:1313/about/">
+ <meta property="og:site_name" content="lowestcase">
<meta property="og:title" content="about">
- <meta property="og:description" content="i&amp;rsquo;m leonardo santiago, a software engineer based in brazil.">
- <meta property="og:locale" content="en">
+ <meta property="og:description" content="i&amp;rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
+currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
+if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
+ <meta property="og:locale" content="en-US">
<meta property="og:type" content="article">
<meta property="article:section" content="">
- <meta property="article:published_time" content="2024-05-01T11:53:23-03:00">
- <meta property="article:modified_time" content="2024-05-01T11:53:23-03:00">
-
- <meta name="twitter:card" content="summary"><meta name="twitter:title" content="about">
-<meta name="twitter:description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil.">
-
-
- <script type="application/ld+json">
- [{
- "@context": "https://schema.org",
- "@type": "Article",
- "articleSection": "lowest case",
- "name": "about",
- "headline": "about",
-
- "abstract": "i\u0026rsquo;m leonardo santiago, a software engineer based in brazil.",
- "inLanguage": "en",
- "url" : "http:\/\/localhost:1313\/about\/",
- "author" : {
- "@type": "Person",
- "name": "leonardo santiago"
- },
- "copyrightYear": "2024",
- "dateCreated": "2024-05-01T11:53:23-03:00",
- "datePublished": "2024-05-01T11:53:23-03:00",
-
- "dateModified": "2024-05-01T11:53:23-03:00",
-
-
-
- "mainEntityOfPage": "true",
- "wordCount": "77"
- }]
- </script>
-
-
-
-
- <meta name="author" content="leonardo santiago" />
-
-
-
- <link href="mailto:[email protected]" rel="me" />
-
-
- <link href="https://github.com/o-santi" rel="me" />
-
-
- <link href="https://gitlab.com/o-santi" rel="me" />
-
-
- <link href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/" rel="me" />
-
-
- <link href="https://t.me/osanti4" rel="me" />
-
-
- <link href="https://twitter.com/o-santi" rel="me" />
-
-
-
-
-
-<script src="/lib/jquery/jquery.slim.min.js" integrity=""></script>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- <meta name="theme-color"/>
-
-
+ <meta property="article:published_time" content="2024-06-01T12:12:47-03:00">
+ <meta property="article:modified_time" content="2024-06-01T12:12:47-03:00">
+
+
+
+<meta name="twitter:card" content="summary"><meta name="twitter:title" content="about">
+<meta name="twitter:description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
+currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
+if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
+
+
+
+
+ <meta itemprop="name" content="about">
+ <meta itemprop="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
+currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
+if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
+ <meta itemprop="datePublished" content="2024-06-01T12:12:47-03:00">
+ <meta itemprop="dateModified" content="2024-06-01T12:12:47-03:00">
+ <meta itemprop="wordCount" content="96">
+<meta name="referrer" content="no-referrer-when-downgrade" />
+
+ <style>
+ body {
+ font-family: Verdana, sans-serif;
+ margin: auto;
+ padding: 20px;
+ max-width: 720px;
+ text-align: left;
+ background-color: #fff;
+ word-wrap: break-word;
+ overflow-wrap: break-word;
+ line-height: 1.5;
+ color: #444;
+ }
+
+ h1,
+ h2,
+ h3,
+ h4,
+ h5,
+ h6,
+ strong,
+ b {
+ color: #222;
+ }
+
+ a {
+ color: #3273dc;
+
+ }
+
+ .title {
+ text-decoration: none;
+ border: 0;
+ }
+
+ .title span {
+ font-weight: 400;
+ }
+
+ nav a {
+ margin-right: 10px;
+ }
+
+ textarea {
+ width: 100%;
+ font-size: 16px;
+ }
+
+ input {
+ font-size: 16px;
+ }
+
+ content {
+ line-height: 1.6;
+ }
+
+ table {
+ width: 100%;
+ }
+
+ img {
+ max-width: 100%;
+ }
+
+ code {
+ padding: 2px 5px;
+ background-color: #f2f2f2;
+ }
+
+ pre code {
+ color: #222;
+ display: block;
+ padding: 20px;
+ white-space: pre-wrap;
+ font-size: 14px;
+ overflow-x: auto;
+ }
+
+ div.highlight pre {
+ background-color: initial;
+ color: initial;
+ }
+
+ div.highlight code {
+ background-color: unset;
+ color: unset;
+ }
+
+ blockquote {
+ border-left: 1px solid #999;
+ color: #222;
+ padding-left: 20px;
+ font-style: italic;
+ }
+
+ footer {
+ padding: 25px;
+ text-align: center;
+ }
+
+ .helptext {
+ color: #777;
+ font-size: small;
+ }
+
+ .errorlist {
+ color: #eba613;
+ font-size: small;
+ }
+
+
+ ul.blog-posts {
+ list-style-type: none;
+ padding: unset;
+ }
+
+ ul.blog-posts li {
+ display: flex;
+ }
+
+ ul.blog-posts li span {
+ flex: 0 0 130px;
+ }
+
+ ul.blog-posts li a:visited {
+ color: #8b6fcb;
+ }
+
+ @media (prefers-color-scheme: dark) {
+ body {
+ background-color: #333;
+ color: #ddd;
+ }
+
+ h1,
+ h2,
+ h3,
+ h4,
+ h5,
+ h6,
+ strong,
+ b {
+ color: #eee;
+ }
+
+ a {
+ color: #8cc2dd;
+ }
+
+ code {
+ background-color: #777;
+ }
+
+ pre code {
+ color: #ddd;
+ }
+
+ blockquote {
+ color: #ccc;
+ }
+
+ textarea,
+ input {
+ background-color: #252525;
+ color: #ddd;
+ }
+
+ .helptext {
+ color: #aaa;
+ }
+ }
+
+</style>
+<style>
+ a {
+ color:#fa8c16;
+ text-decoration: none;
+ }
+ a:hover {
+ color:#d46b08;
+ text-decoration: dotted underline;
+ }
+ ul.blog-posts li a:visited {
+ color:#ffc069;
+ }
+ code {
+ color: black;
+ background-color: #ffc069;
+ }
+</style>
</head>
-<body
- class="flex flex-col h-screen px-6 m-auto text-lg leading-7 max-w-7xl bg-neutral text-neutral-900 dark:bg-neutral-800 dark:text-neutral sm:px-14 md:px-24 lg:px-32">
- <div id="the-top" class="absolute flex self-center">
- <a class="px-3 py-1 text-sm -translate-y-8 rounded-b-lg bg-primary-200 focus:translate-y-0 dark:bg-neutral-600"
- href="#main-content"><span
- class="font-bold text-primary-600 ltr:pr-2 rtl:pl-2 dark:text-primary-400">&darr;</span>skip to main content</a>
- </div>
-
-
- <div style="padding-left:0;padding-right:0;padding-top:2px;padding-bottom:3px"
- class="main-menu flex items-center justify-between px-4 py-6 sm:px-6 md:justify-start space-x-3">
-
- <div class="flex flex-1 items-center justify-between">
- <nav class="flex space-x-3">
-
-
- <a href="/" class="text-base font-medium text-gray-500 hover:text-gray-900">lowest case</a>
-
-
- </nav>
- <nav class="hidden md:flex items-center space-x-5 md:ml-12 h-12">
-
-
-
-
- <a href="/about/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-base font-medium" title="">
- about
- </p>
-</a>
-
-
-
- <a href="/posts/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-base font-medium" title="">
- blog
- </p>
-</a>
-
-
-
-
- <a href="/tags/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-base font-medium" title="">
- tags
- </p>
+<body>
+ <header><a href="/" class="title">
+ <h2>lowestcase</h2>
</a>
+<nav><a href="/">home</a>
+<a href="/about/">about</a>
-
-
-
-
-
-
-
- <button id="search-button" aria-label="Search" class="text-base hover:text-primary-600 dark:hover:text-primary-400"
- title="">
-
-
- <span class="relative block icon">
- <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg>
-
- </span>
-
-
- </button>
-
-
-
-
-
- <div
- class="ltr:mr-14 rtl:ml-14 flex items-center">
- <button id="appearance-switcher" aria-label="Dark mode switcher" type="button" class="text-base hover:text-primary-600 dark:hover:text-primary-400">
- <div class="flex items-center justify-center dark:hidden">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M32 256c0-123.8 100.3-224 223.8-224c11.36 0 29.7 1.668 40.9 3.746c9.616 1.777 11.75 14.63 3.279 19.44C245 86.5 211.2 144.6 211.2 207.8c0 109.7 99.71 193 208.3 172.3c9.561-1.805 16.28 9.324 10.11 16.95C387.9 448.6 324.8 480 255.8 480C132.1 480 32 379.6 32 256z"/></svg>
-
- </span>
-
-
- </div>
- <div class="items-center justify-center hidden dark:flex">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 159.1c-53.02 0-95.1 42.98-95.1 95.1S202.1 351.1 256 351.1s95.1-42.98 95.1-95.1S309 159.1 256 159.1zM509.3 347L446.1 255.1l63.15-91.01c6.332-9.125 1.104-21.74-9.826-23.72l-109-19.7l-19.7-109c-1.975-10.93-14.59-16.16-23.72-9.824L256 65.89L164.1 2.736c-9.125-6.332-21.74-1.107-23.72 9.824L121.6 121.6L12.56 141.3C1.633 143.2-3.596 155.9 2.736 164.1L65.89 256l-63.15 91.01c-6.332 9.125-1.105 21.74 9.824 23.72l109 19.7l19.7 109c1.975 10.93 14.59 16.16 23.72 9.824L256 446.1l91.01 63.15c9.127 6.334 21.75 1.107 23.72-9.822l19.7-109l109-19.7C510.4 368.8 515.6 356.1 509.3 347zM256 383.1c-70.69 0-127.1-57.31-127.1-127.1c0-70.69 57.31-127.1 127.1-127.1s127.1 57.3 127.1 127.1C383.1 326.7 326.7 383.1 256 383.1z"/></svg>
-
- </span>
-
-
- </div>
- </button>
- </div>
-
-
- </nav>
- <div class="flex md:hidden items-center space-x-5 md:ml-12 h-12">
-
- <span></span>
-
-
-
-
-
- <button id="search-button-mobile" aria-label="Search" class="text-base hover:text-primary-600 dark:hover:text-primary-400"
- title="">
-
-
- <span class="relative block icon">
- <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg>
-
- </span>
-
-
- </button>
-
-
-
-
- <button id="appearance-switcher-mobile" aria-label="Dark mode switcher" type="button" class="text-base hover:text-primary-600 dark:hover:text-primary-400" style="margin-right:5px">
- <div class="flex items-center justify-center dark:hidden">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M32 256c0-123.8 100.3-224 223.8-224c11.36 0 29.7 1.668 40.9 3.746c9.616 1.777 11.75 14.63 3.279 19.44C245 86.5 211.2 144.6 211.2 207.8c0 109.7 99.71 193 208.3 172.3c9.561-1.805 16.28 9.324 10.11 16.95C387.9 448.6 324.8 480 255.8 480C132.1 480 32 379.6 32 256z"/></svg>
-
- </span>
-
-
- </div>
- <div class="items-center justify-center hidden dark:flex">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 159.1c-53.02 0-95.1 42.98-95.1 95.1S202.1 351.1 256 351.1s95.1-42.98 95.1-95.1S309 159.1 256 159.1zM509.3 347L446.1 255.1l63.15-91.01c6.332-9.125 1.104-21.74-9.826-23.72l-109-19.7l-19.7-109c-1.975-10.93-14.59-16.16-23.72-9.824L256 65.89L164.1 2.736c-9.125-6.332-21.74-1.107-23.72 9.824L121.6 121.6L12.56 141.3C1.633 143.2-3.596 155.9 2.736 164.1L65.89 256l-63.15 91.01c-6.332 9.125-1.105 21.74 9.824 23.72l109 19.7l19.7 109c1.975 10.93 14.59 16.16 23.72 9.824L256 446.1l91.01 63.15c9.127 6.334 21.75 1.107 23.72-9.822l19.7-109l109-19.7C510.4 368.8 515.6 356.1 509.3 347zM256 383.1c-70.69 0-127.1-57.31-127.1-127.1c0-70.69 57.31-127.1 127.1-127.1s127.1 57.3 127.1 127.1C383.1 326.7 326.7 383.1 256 383.1z"/></svg>
-
- </span>
-
-
- </div>
- </button>
-
-
- </div>
- </div>
- <div class="-my-2 -mr-2 md:hidden">
-
- <label id="menu-button" for="menu-controller" class="block">
- <input type="checkbox" id="menu-controller" class="hidden" />
-
- <div class="cursor-pointer hover:text-primary-600 dark:hover:text-primary-400">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M0 96C0 78.33 14.33 64 32 64H416C433.7 64 448 78.33 448 96C448 113.7 433.7 128 416 128H32C14.33 128 0 113.7 0 96zM0 256C0 238.3 14.33 224 32 224H416C433.7 224 448 238.3 448 256C448 273.7 433.7 288 416 288H32C14.33 288 0 273.7 0 256zM416 448H32C14.33 448 0 433.7 0 416C0 398.3 14.33 384 32 384H416C433.7 384 448 398.3 448 416C448 433.7 433.7 448 416 448z"/></svg>
-
- </span>
-
-
- </div>
- <div id="menu-wrapper" style="padding-top:5px;"
- class="fixed inset-0 z-30 invisible w-screen h-screen m-0 overflow-auto transition-opacity opacity-0 cursor-default bg-neutral-100/50 backdrop-blur-sm dark:bg-neutral-900/50">
- <ul
- class="flex space-y-2 mt-3 flex-col items-end w-full px-6 py-6 mx-auto overflow-visible list-none ltr:text-right rtl:text-left max-w-7xl">
-
- <li>
- <span
- class="cursor-pointer inline-block align-text-bottom hover:text-primary-600 dark:hover:text-primary-400">
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 320 512"><path fill="currentColor" d="M310.6 361.4c12.5 12.5 12.5 32.75 0 45.25C304.4 412.9 296.2 416 288 416s-16.38-3.125-22.62-9.375L160 301.3L54.63 406.6C48.38 412.9 40.19 416 32 416S15.63 412.9 9.375 406.6c-12.5-12.5-12.5-32.75 0-45.25l105.4-105.4L9.375 150.6c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0L160 210.8l105.4-105.4c12.5-12.5 32.75-12.5 45.25 0s12.5 32.75 0 45.25l-105.4 105.4L310.6 361.4z"/></svg>
-
- </span>
-</span>
- </li>
+<a href="/blog">blog</a>
-
+</nav>
+</header>
+ <main>
-
- <li class="mt-1">
- <a href="/about/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-bg font-bg" title="">
- about
- </p>
- </a>
-</li>
+<content>
+ <p>i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.</p>
+<p>currently, i work as a software engineer @ <a href="https://mixrank.com">Mixrank</a>, and you can find my curriculum <a href="/cv.pdf">here</a>.</p>
+<p>if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:</p>
+<ul>
+<li><a href="mailto:[email protected]">email</a></li>
+<li><a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/">linkedin</a></li>
+<li><a href="https://github.com/o-santi">github</a></li>
+</ul>
+<p>this blog was built using emacs&rsquo; excelent org-mode and <a href="https://github.com/gohugoio/hugo">hugo</a> (with the <a href="https://github.com/janraasch/hugo-bearblog">bearblog theme</a>).</p>
-
-
-
-
-
- <li class="mt-1">
- <a href="/posts/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-bg font-bg" title="">
- blog
- </p>
- </a>
-</li>
-
-
-
-
-
-
- <li class="mt-1">
- <a href="/tags/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400">
-
- <p class="text-bg font-bg" title="">
- tags
- </p>
- </a>
-</li>
-
-
-
-
-
- </ul>
-
-
-
- </div>
- </label>
- </div>
-</div>
-
-
-
-
-<script>
- (function () {
- var $mainmenu = $('.main-menu');
- var path = window.location.pathname;
- $mainmenu.find('a[href="' + path + '"]').each(function (i, e) {
- $(e).children('p').addClass('active');
- });
- })();
-</script>
-
-
-
- <div class="relative flex flex-col grow">
- <main id="main-content" class="grow">
-
-
-
-<article>
-
-
- <header id="single_header" class="mt-5 max-w-prose">
-
- <ol class="text-sm text-neutral-500 dark:text-neutral-400 print:hidden">
-
-
-
-
- <li class="inline hidden">
- <a
- class="hover:underline decoration-neutral-300 dark:underline-neutral-600"
- href="/"
- >lowest case</a
- ><span class="px-1 text-primary-500">/</span>
- </li>
-
-
- <li class="inline hidden">
- <a
- class="hover:underline decoration-neutral-300 dark:underline-neutral-600"
- href="/about/"
- >about</a
- ><span class="px-1 text-primary-500">/</span>
- </li>
-
-</ol>
-
-
-
- <h1 class="mt-0 text-4xl font-extrabold text-neutral-900 dark:text-neutral">
- about
- </h1>
- <div class="mt-1 mb-6 text-base text-neutral-500 dark:text-neutral-400 print:hidden">
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-<div class="flex flex-row flex-wrap items-center">
-
-
- <time datetime="2024-05-01 11:53:23 -0300 -03">1 May 2024</time><span class="px-2 text-primary-500">&middot;</span><span title="reading time">1 min</span>
-
-
-
-
-</div>
-
-
-
-
-
-<div class="flex flex-row flex-wrap items-center">
+</content>
+<p>
-
-
-
-
-
-
-
-
-
-
-
-
-</div>
-
-
+</p>
- </div>
-
-
-
-
-
-
+ </main>
+ <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a>
+</footer>
-
-
-
-
-
-
-
-
-
-
-
- </header>
-
- <section class="flex flex-col max-w-full mt-0 prose dark:prose-invert lg:flex-row">
-
-
-
- <div class="min-w-0 min-h-0 max-w-fit">
-
-
-
-
- <div class="article-content max-w-prose mb-20">
- <p>i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs) and functional programming, usually dabbliing in related topics too. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.</p>
-<p>currently, software engineer @ <a href="https://mixrank.com" target="_blank">
- Mixrank</a>.</p>
-<p>this blog was built using <a href="https://github.com/gohugoio/hugo" target="_blank">
- hugo</a>, and it&rsquo;s source code is openly available here:
-<a id="github-2bc053111729a74bce2ff033e7cdfe90" target="_blank" href="https://github.com/o-santi/nixos" class="cursor-pointer">
- <div
- class="w-full md:w-auto pt-3 p-5 border border-neutral-200 dark:border-neutral-700 border rounded-md shadow-2xl">
-
- <div class="flex items-center">
- <span class="text-2xl text-neutral-800 dark:text-neutral" style="margin-right:10px;">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"/></svg>
-
- </span>
-
-
- </span>
- <div
- id="github-2bc053111729a74bce2ff033e7cdfe90-full_name"
- class="m-0 font-bold text-xl text-neutral-800 decoration-primary-500 hover:underline hover:underline-offset-2 dark:text-neutral">
- o-santi/nixos
- </div>
- </div>
-
- <p id="github-2bc053111729a74bce2ff033e7cdfe90-description" class="m-0 mt-2 text-md text-neutral-800 dark:text-neutral">
- My personal devices&rsquo; configuration in nix.
- </p>
-
- <div class="m-0 mt-2 flex items-center">
-
- <span class="mr-1 inline-block h-3 w-3 rounded-full"
- style="background-color: #7e7eff"></span>
- <div class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral">
- Nix
- </div>
-
- <span class="text-md mr-1 text-neutral-800 dark:text-neutral">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M287.9 0C297.1 0 305.5 5.25 309.5 13.52L378.1 154.8L531.4 177.5C540.4 178.8 547.8 185.1 550.7 193.7C553.5 202.4 551.2 211.9 544.8 218.2L433.6 328.4L459.9 483.9C461.4 492.9 457.7 502.1 450.2 507.4C442.8 512.7 432.1 513.4 424.9 509.1L287.9 435.9L150.1 509.1C142.9 513.4 133.1 512.7 125.6 507.4C118.2 502.1 114.5 492.9 115.1 483.9L142.2 328.4L31.11 218.2C24.65 211.9 22.36 202.4 25.2 193.7C28.03 185.1 35.5 178.8 44.49 177.5L197.7 154.8L266.3 13.52C270.4 5.249 278.7 0 287.9 0L287.9 0zM287.9 78.95L235.4 187.2C231.9 194.3 225.1 199.3 217.3 200.5L98.98 217.9L184.9 303C190.4 308.5 192.9 316.4 191.6 324.1L171.4 443.7L276.6 387.5C283.7 383.7 292.2 383.7 299.2 387.5L404.4 443.7L384.2 324.1C382.9 316.4 385.5 308.5 391 303L476.9 217.9L358.6 200.5C350.7 199.3 343.9 194.3 340.5 187.2L287.9 78.95z"/></svg>
- </span>
-
-
- </span>
- <div id="github-2bc053111729a74bce2ff033e7cdfe90-stargazers" class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral">
- 0
- </div>
-
- <span class="text-md mr-1 text-neutral-800 dark:text-neutral">
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M80 104c13.3 0 24-10.7 24-24s-10.7-24-24-24S56 66.7 56 80s10.7 24 24 24zm80-24c0 32.8-19.7 61-48 73.3V192c0 17.7 14.3 32 32 32H304c17.7 0 32-14.3 32-32V153.3C307.7 141 288 112.8 288 80c0-44.2 35.8-80 80-80s80 35.8 80 80c0 32.8-19.7 61-48 73.3V192c0 53-43 96-96 96H256v70.7c28.3 12.3 48 40.5 48 73.3c0 44.2-35.8 80-80 80s-80-35.8-80-80c0-32.8 19.7-61 48-73.3V288H144c-53 0-96-43-96-96V153.3C19.7 141 0 112.8 0 80C0 35.8 35.8 0 80 0s80 35.8 80 80zm208 24c13.3 0 24-10.7 24-24s-10.7-24-24-24s-24 10.7-24 24s10.7 24 24 24zM248 432c0-13.3-10.7-24-24-24s-24 10.7-24 24s10.7 24 24 24s24-10.7 24-24z"/></svg>
- </span>
-
-
- </span>
- <div id="github-2bc053111729a74bce2ff033e7cdfe90-forks" class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral">
- 0
- </div>
-
- </div>
-
- </div>
- <script>
- fetch("https://api.github.com/repos/o-santi/nixos", {
- headers: new Headers({
- 'User-agent': 'Mozilla/4.0 Custom User Agent'
- })
- })
- .then(response => response.json())
- .then(data => {
- document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-full_name').innerHTML = data.full_name;
- document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-description').innerHTML = data.description;
- document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-stargazers').innerHTML = data.stargazers_count;
- document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-forks').innerHTML = data.forks;
- })
- .catch(error => console.error(error))
- </script>
-</a></p>
-<p>you can find me at: <a href="mailto:[email protected]" >
-
-
- <span class="relative inline-block align-text-bottom icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M207.8 20.73c-93.45 18.32-168.7 93.66-187 187.1c-27.64 140.9 68.65 266.2 199.1 285.1c19.01 2.888 36.17-12.26 36.17-31.49l.0001-.6631c0-15.74-11.44-28.88-26.84-31.24c-84.35-12.98-149.2-86.13-149.2-174.2c0-102.9 88.61-185.5 193.4-175.4c91.54 8.869 158.6 91.25 158.6 183.2l0 16.16c0 22.09-17.94 40.05-40 40.05s-40.01-17.96-40.01-40.05v-120.1c0-8.847-7.161-16.02-16.01-16.02l-31.98 .0036c-7.299 0-13.2 4.992-15.12 11.68c-24.85-12.15-54.24-16.38-86.06-5.106c-38.75 13.73-68.12 48.91-73.72 89.64c-9.483 69.01 43.81 128 110.9 128c26.44 0 50.43-9.544 69.59-24.88c24 31.3 65.23 48.69 109.4 37.49C465.2 369.3 496 324.1 495.1 277.2V256.3C495.1 107.1 361.2-9.332 207.8 20.73zM239.1 304.3c-26.47 0-48-21.56-48-48.05s21.53-48.05 48-48.05s48 21.56 48 48.05S266.5 304.3 239.1 304.3z"/></svg>
-
- </span>
-
-</a> <a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/" target="_blank">
-
-
- <span class="relative inline-block align-text-bottom icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M416 32H31.9C14.3 32 0 46.5 0 64.3v383.4C0 465.5 14.3 480 31.9 480H416c17.6 0 32-14.5 32-32.3V64.3c0-17.8-14.4-32.3-32-32.3zM135.4 416H69V202.2h66.5V416zm-33.2-243c-21.3 0-38.5-17.3-38.5-38.5S80.9 96 102.2 96c21.2 0 38.5 17.3 38.5 38.5 0 21.3-17.2 38.5-38.5 38.5zm282.1 243h-66.4V312c0-24.8-.5-56.7-34.5-56.7-34.6 0-39.9 27-39.9 54.9V416h-66.4V202.2h63.7v29.2h.9c8.9-16.8 30.6-34.5 62.9-34.5 67.2 0 79.7 44.3 79.7 101.9V416z"/></svg>
-
- </span>
-
-</a> <a href="https://github.com/o-santi" target="_blank">
-
-
- <span class="relative inline-block align-text-bottom icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"/></svg>
-
- </span>
-
-</a> <a href="https://t.me/osanti4" target="_blank">
-
-
- <span class="relative inline-block align-text-bottom icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M248,8C111.033,8,0,119.033,0,256S111.033,504,248,504,496,392.967,496,256,384.967,8,248,8ZM362.952,176.66c-3.732,39.215-19.881,134.378-28.1,178.3-3.476,18.584-10.322,24.816-16.948,25.425-14.4,1.326-25.338-9.517-39.287-18.661-21.827-14.308-34.158-23.215-55.346-37.177-24.485-16.135-8.612-25,5.342-39.5,3.652-3.793,67.107-61.51,68.335-66.746.153-.655.3-3.1-1.154-4.384s-3.59-.849-5.135-.5q-3.283.746-104.608,69.142-14.845,10.194-26.894,9.934c-8.855-.191-25.888-5.006-38.551-9.123-15.531-5.048-27.875-7.717-26.8-16.291q.84-6.7,18.45-13.7,108.446-47.248,144.628-62.3c68.872-28.647,83.183-33.623,92.511-33.789,2.052-.034,6.639.474,9.61,2.885a10.452,10.452,0,0,1,3.53,6.716A43.765,43.765,0,0,1,362.952,176.66Z"/></svg>
-
- </span>
-
-</a> <a href="https://twitter.com/o_santi_" target="_blank">
-
-
- <span class="relative inline-block align-text-bottom icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M459.37 151.716c.325 4.548.325 9.097.325 13.645 0 138.72-105.583 298.558-298.558 298.558-59.452 0-114.68-17.219-161.137-47.106 8.447.974 16.568 1.299 25.34 1.299 49.055 0 94.213-16.568 130.274-44.832-46.132-.975-84.792-31.188-98.112-72.772 6.498.974 12.995 1.624 19.818 1.624 9.421 0 18.843-1.3 27.614-3.573-48.081-9.747-84.143-51.98-84.143-102.985v-1.299c13.969 7.797 30.214 12.67 47.431 13.319-28.264-18.843-46.781-51.005-46.781-87.391 0-19.492 5.197-37.36 14.294-52.954 51.655 63.675 129.3 105.258 216.365 109.807-1.624-7.797-2.599-15.918-2.599-24.04 0-57.828 46.782-104.934 104.934-104.934 30.213 0 57.502 12.67 76.67 33.137 23.715-4.548 46.456-13.32 66.599-25.34-7.798 24.366-24.366 44.833-46.132 57.827 21.117-2.273 41.584-8.122 60.426-16.243-14.292 20.791-32.161 39.308-52.628 54.253z"/></svg>
-
- </span>
-
-</a></p>
-
- </div>
-
-
-
-
-
-
-
- </div>
-
-
-
-
-
-
-
-
- <script>
- var oid = "views_about\/index.md"
- var oid_likes = "likes_about\/index.md"
- </script>
-
-
-
- <script type="text/javascript" src="/js/page.min.b06a29d42a4ed16787978e2eee1e8c797b7698db2bc14ccee78f5c80ac566fc996190a73ad80a5e987558474b20b96fa38f7d85b405f165ff72b7b163c5ad11b.js" integrity="sha512-sGop1CpO0WeHl44u7h6MeXt2mNsrwUzO549cgKxWb8mWGQpzrYCl6YdVhHSyC5b6OPfYW0BfFl/3K3sWPFrRGw=="></script>
-
- </section>
- <footer class="pt-8 max-w-prose print:hidden">
-
-
-
-
-
-
- </footer>
-</article>
-
- <div id="top-scroller" class="pointer-events-none absolute top-[110vh] bottom-0 w-12 ltr:right-0 rtl:left-0">
- <a href="#the-top"
- class="pointer-events-auto sticky top-[calc(100vh-5.5rem)] flex h-12 w-12 mb-16 items-center justify-center rounded-full bg-neutral/50 text-xl text-neutral-700 hover:text-primary-600 dark:bg-neutral-800/50 dark:text-neutral dark:hover:text-primary-400"
- aria-label="scroll to top" title="scroll to top">
- &uarr;
- </a>
-</div>
- </main><footer id="site-footer" class="py-10 print:hidden">
-
-
-
-
- <div class="flex items-center justify-between">
-
-
-
- <p class="text-sm text-neutral-500 dark:text-neutral-400">
- &copy;
- 2024
- leonardo santiago
- </p>
-
-
-
-
- <p class="text-xs text-neutral-500 dark:text-neutral-400">
-
-
- powered by <a class="hover:underline hover:decoration-primary-400 hover:text-primary-500"
- href="https://gohugo.io/" target="_blank" rel="noopener noreferrer">Hugo</a> &amp; <a class="hover:underline hover:decoration-primary-400 hover:text-primary-500"
- href="https://blowfish.page/" target="_blank" rel="noopener noreferrer">Blowfish</a>
- </p>
-
-
- </div>
- <script>
-
- mediumZoom(document.querySelectorAll("img:not(.nozoom)"), {
- margin: 24,
- background: 'rgba(0,0,0,0.5)',
- scrollOffset: 0,
- })
-
- </script>
-
-
- <script type="text/javascript" src="/js/process.min.62060bb247f4de2b6dde45903668fefb68d792f365587605177b1227c0cf43588701edaca0cb40e2c8e2789bd5ce67c1d2a215b9fb258c3496a7cd25e7cb5fdf.js" integrity="sha512-YgYLskf03itt3kWQNmj&#43;&#43;2jXkvNlWHYFF3sSJ8DPQ1iHAe2soMtA4sjieJvVzmfB0qIVufsljDSWp80l58tf3w=="></script>
-
-
-</footer><div
- id="search-wrapper"
- class="invisible fixed inset-0 flex h-screen w-screen cursor-default flex-col bg-neutral-500/50 p-4 backdrop-blur-sm dark:bg-neutral-900/50 sm:p-6 md:p-[10vh] lg:p-[12vh]"
- data-url="http://localhost:1313/"
- style="z-index:500"
->
- <div
- id="search-modal"
- class="flex flex-col w-full max-w-3xl min-h-0 mx-auto border rounded-md shadow-lg top-20 border-neutral-200 bg-neutral dark:border-neutral-700 dark:bg-neutral-800"
- >
- <header class="relative z-10 flex items-center justify-between flex-none px-2">
- <form class="flex items-center flex-auto min-w-0">
- <div class="flex items-center justify-center w-8 h-8 text-neutral-400">
-
-
- <span class="relative block icon">
- <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg>
-
- </span>
-
-
- </div>
- <input
- type="search"
- id="search-query"
- class="flex flex-auto h-12 mx-1 bg-transparent appearance-none focus:outline-dotted focus:outline-2 focus:outline-transparent"
- placeholder="cearch"
- tabindex="0"
- />
- </form>
- <button
- id="close-search-button"
- class="flex items-center justify-center w-8 h-8 text-neutral-700 hover:text-primary-600 dark:text-neutral dark:hover:text-primary-400"
- title="close (Esc)"
- >
-
-
- <span class="relative block icon">
- <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 320 512"><path fill="currentColor" d="M310.6 361.4c12.5 12.5 12.5 32.75 0 45.25C304.4 412.9 296.2 416 288 416s-16.38-3.125-22.62-9.375L160 301.3L54.63 406.6C48.38 412.9 40.19 416 32 416S15.63 412.9 9.375 406.6c-12.5-12.5-12.5-32.75 0-45.25l105.4-105.4L9.375 150.6c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0L160 210.8l105.4-105.4c12.5-12.5 32.75-12.5 45.25 0s12.5 32.75 0 45.25l-105.4 105.4L310.6 361.4z"/></svg>
-
- </span>
-
-
- </button>
- </header>
- <section class="flex-auto px-2 overflow-auto">
- <ul id="search-results">
-
- </ul>
- </section>
- </div>
-</div>
-
- </div>
</body>
</html>
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-23 09:28:54 +0000