diff options
Diffstat (limited to 'public/index.html')
| -rw-r--r-- | public/index.html | 710 |
1 files changed, 201 insertions, 509 deletions
diff --git a/public/index.html b/public/index.html index 46d256e..30dd6c4 100644 --- a/public/index.html +++ b/public/index.html @@ -1,565 +1,257 @@ <!DOCTYPE html> -<html lang="en" dir="ltr" class="scroll-smooth" data-default-appearance="dark" - data-auto-appearance="true"><head> +<html lang="en-US"> + +<head> <meta name="generator" content="Hugo 0.125.3"><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> - <meta charset="utf-8" /> - - <meta http-equiv="content-language" content="en" /> - + <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>lowest case</title> - <meta name="title" content="lowest case" /> - - - - - - <link rel="canonical" href="http://localhost:1313/" /> - - <link rel="alternate" type="application/rss+xml" href="/index.xml" title="lowest case" /> - - <link rel="alternate" type="application/json" href="/index.json" title="lowest case" /> - - - - - - - - - - - <link type="text/css" rel="stylesheet" href="/css/main.bundle.min.81c7ce66608dd0b86aa3e571076f8794993d50f0d4a5b153013edfc28642a93c4104edfdc604558908c3624b8e99386757d81f1bf8c4452c6220cf4c63970408.css" - integrity="sha512-gcfOZmCN0Lhqo+VxB2+HlJk9UPDUpbFTAT7fwoZCqTxBBO39xgRViQjDYkuOmThnV9gfG/jERSxiIM9MY5cECA==" /> - - - <script type="text/javascript" src="/js/appearance.min.516a16745bea5a9bd011138d254cc0fd3973cd55ce6e15f3dec763e7c7c2c7448f8fe7b54cca811cb821b0c7e12cd161caace1dd794ac3d34d40937cbcc9ee12.js" - integrity="sha512-UWoWdFvqWpvQERONJUzA/TlzzVXObhXz3sdj58fCx0SPj+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/"> - <meta property="og:site_name" content="lowest case"> - <meta property="og:title" content="lowest case"> - <meta property="og:description" content="a lower case only blog, purely for aesthetics."> - <meta property="og:locale" content="en"> - <meta property="og:type" content="website"> - - <meta name="twitter:card" content="summary"><meta name="twitter:title" content="lowest case"> -<meta name="twitter:description" content=""> - - - <script type="application/ld+json"> - { - "@context": "https://schema.org", - "@type": "WebSite", - "@id": "http:\/\/localhost:1313\/", - "name": "lowest case", - - "inLanguage": "en", - "url": "http:\/\/localhost:1313\/", - - "publisher" : { - "@type": "Person", - "name": "leonardo santiago" - } - } - </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"/> - - -</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">↓</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="" 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="" 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> -</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"> +<title>lowest case | lowestcase</title> +<meta name="title" content="lowest case" /> +<meta name="description" content="a lowercase only blog" /> +<meta name="keywords" content="correctness,rust," /> - <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"> +<meta property="og:url" content="http://localhost:1313/"> + <meta property="og:site_name" content="lowestcase"> + <meta property="og:title" content="lowest case"> + <meta property="og:description" content="a lower case only blog, purely for aesthetics. +here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical, almost non-applicable) nerd topic you can think of."> + <meta property="og:locale" content="en-US"> + <meta property="og:type" content="website"> - <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> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="lowest case"> +<meta name="twitter:description" content="a lowercase only blog"> -</span> - </li> - - - <li class="mt-1"> - <a href="" 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> + <meta itemprop="name" content="lowest case"> + <meta itemprop="description" content="a lower case only blog, purely for aesthetics. +here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical, almost non-applicable) nerd topic you can think of."> + <meta itemprop="datePublished" content="2024-06-01T10:31:58-03:00"> + <meta itemprop="dateModified" content="2024-06-01T10:31:58-03:00"> + <meta itemprop="wordCount" content="42"> +<meta name="referrer" content="no-referrer-when-downgrade" /> + <link rel="alternate" type="application/rss+xml" href="http://localhost:1313/index.xml" title="lowestcase" /> + <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; + } - - <li class="mt-1"> - <a href="" 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> + a { + color: #3273dc; + + } + .title { + text-decoration: none; + border: 0; + } + .title span { + font-weight: 400; + } - + nav a { + margin-right: 10px; + } - - <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> + textarea { + width: 100%; + font-size: 16px; + } + input { + font-size: 16px; + } + content { + line-height: 1.6; + } - + table { + width: 100%; + } - </ul> - - + img { + max-width: 100%; + } - </div> - </label> - </div> -</div> + 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; + } -<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> + blockquote { + border-left: 1px solid #999; + color: #222; + padding-left: 20px; + font-style: italic; + } + footer { + padding: 25px; + text-align: center; + } - - <div class="relative flex flex-col grow"> - <main id="main-content" class="grow"> - - - - <article class="max-w-full prose dark:prose-invert"> - - <header> - <h1>lowest case</h1> - </header> - - <section><p>a lower case only blog, purely for aesthetics.</p> -<p>here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical almost non-applicable) nerd topic you can think of.</p> -</section> -</article> -<section> - + .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; + } -<h2 class="mt-8 text-2xl font-extrabold mb-10">recent</h2> + 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; + } -<section class="space-y-10 w-full"> - -</section> + 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> -<div class="mt-10 flex justify-center"> - <a href="/posts"> - <button - class="bg-transparent hover:text-primary-500 prose dark:prose-invert font-semibold hover:text-white py-2 px-4 border border-primary-500 hover:border-transparent rounded"> - show more - </button> - </a> -</div> +<body> + <header><a href="/" class="title"> + <h2>lowestcase</h2> +</a> +<nav><a href="/">home</a> +<a href="/about/">about</a> -</section> - +<a href="/blog">blog</a> - <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"> - ↑ - </a> -</div> - </main><footer id="site-footer" class="py-10 print:hidden"> - - - - - <div class="flex items-center justify-between"> +</nav> +</header> + <main> +<p>a lower case only blog, purely for aesthetics.</p> +<p>here I talk about discrete mathematics (mostly computer science), including compilers, language theory, type theory, computability theory, software correctness, formal verification, and any other (entirely theoretical, almost non-applicable) nerd topic you can think of.</p> - - - <p class="text-sm text-neutral-500 dark:text-neutral-400"> - © - 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> & <a class="hover:underline hover:decoration-primary-400 hover:text-primary-500" - href="https://blowfish.page/" target="_blank" rel="noopener noreferrer">Blowfish</a> - </p> - + </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> - </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++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> |