diff options
Diffstat (limited to 'public/index.html')
| -rw-r--r-- | public/index.html | 45 |
1 files changed, 21 insertions, 24 deletions
diff --git a/public/index.html b/public/index.html index 30dd6c4..0a3ba87 100644 --- a/public/index.html +++ b/public/index.html @@ -2,41 +2,39 @@ <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 name="generator" content="Hugo 0.125.3"> <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" /> -<title>lowest case | lowestcase</title> -<meta name="title" content="lowest case" /> -<meta name="description" content="a lowercase only blog" /> +<title>home | lowest case</title> +<meta name="title" content="home" /> +<meta name="description" content="a lower case only blog, purely for aesthetics" /> <meta name="keywords" content="correctness,rust," /> -<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:url" content="https://o-santi.github.com/"> + <meta property="og:site_name" content="lowest case"> + <meta property="og:title" content="home"> + <meta property="og:description" content="a lower case only blog, purely for aesthetics"> <meta property="og:locale" content="en-US"> <meta property="og:type" content="website"> -<meta name="twitter:card" content="summary"><meta name="twitter:title" content="lowest case"> -<meta name="twitter:description" content="a lowercase only blog"> +<meta name="twitter:card" content="summary"><meta name="twitter:title" content="home"> +<meta name="twitter:description" content="a lower case only blog, purely for aesthetics"> - <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="name" content="home"> + <meta itemprop="description" content="a lower case only blog, purely for aesthetics"> + <meta itemprop="datePublished" content="2024-06-01T17:29:17-03:00"> + <meta itemprop="dateModified" content="2024-06-01T17:29:17-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" /> + <link rel="alternate" type="application/rss+xml" href="https://o-santi.github.com/index.xml" title="lowest case" /> <style> body { font-family: Verdana, sans-serif; @@ -217,7 +215,7 @@ here I talk about discrete mathematics (mostly computer science), including comp } a:hover { color:#d46b08; - text-decoration: dotted underline; + text-decoration: wavy underline; } ul.blog-posts li a:visited { color:#ffc069; @@ -230,11 +228,10 @@ here I talk about discrete mathematics (mostly computer science), including comp </head> <body> - <header><a href="/" class="title"> - <h2>lowestcase</h2> -</a> -<nav><a href="/">home</a> - + <header><nav> + <a href="/" class="title"> + <h2 style="display:inline">lowest case</h2> + </a> <a href="/about/">about</a> @@ -248,7 +245,7 @@ here I talk about discrete mathematics (mostly computer science), including comp </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><p> 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="currentcolor"><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> <a href="https://linkedin.com/leonardo-ribeiro-santiago" title="linkedin"><svg xmlns="http://www.w3.org/2000/svg" x="0px" y="0px" width="16px" height="16px" viewBox="0 0 30 30" fill="currentcolor"><path d="M24,4H6C4.895,4,4,4.895,4,6v18c0,1.105,0.895,2,2,2h18c1.105,0,2-0.895,2-2V6C26,4.895,25.105,4,24,4z M10.954,22h-2.95 v-9.492h2.95V22z M9.449,11.151c-0.951,0-1.72-0.771-1.72-1.72c0-0.949,0.77-1.719,1.72-1.719c0.948,0,1.719,0.771,1.719,1.719 C11.168,10.38,10.397,11.151,9.449,11.151z M22.004,22h-2.948v-4.616c0-1.101-0.02-2.517-1.533-2.517 c-1.535,0-1.771,1.199-1.771,2.437V22h-2.948v-9.492h2.83v1.297h0.04c0.394-0.746,1.356-1.533,2.791-1.533 c2.987,0,3.539,1.966,3.539,4.522V22z"></path></svg></a> </p> </footer> |