delete public/

it must be automatically generated by workflow, no need to include it
author: Leonardo Santiago <[email protected]> 2024-06-01 19:15:49 -0300
committer: Leonardo Santiago <[email protected]> 2024-06-01 19:15:49 -0300
commit: 3a1272c94f43e8b71811f910517b6ac2e44b94d8 (patch)
tree: 299538a888fd326287ca08f35e06a055cdd77885 /public/index.html
parent: bb44f9ff1b6e41c37cdf97db949aa6fbcd06237b (diff)
1 files changed, 0 insertions, 254 deletions
diff --git a/public/index.html b/public/index.html
deleted file mode 100644
index 7893007..0000000
--- a/public/index.html
+++ /dev/null
@@ -1,254 +0,0 @@
-<!DOCTYPE html>
-<html lang="en-US">
-
-<head>
-	<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>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="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="home">
-<meta name="twitter:description" content="a lower case only blog, purely for aesthetics">
-
-
-
-
-  <meta itemprop="name" content="home">
-  <meta itemprop="description" content="a lower case only blog, purely for aesthetics">
-  <meta itemprop="datePublished" content="2024-06-01T18:59:08-03:00">
-  <meta itemprop="dateModified" content="2024-06-01T18:59:08-03:00">
-  <meta itemprop="wordCount" content="42">
-<meta name="referrer" content="no-referrer-when-downgrade" />
-
-  <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;
-    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: wavy underline;
-  }
-  ul.blog-posts li a:visited {
-      color:#ffc069;
-  }
-  code {
-      color: black;
-      background-color: #ffc069; 
-  }
-</style>
-</head>
-
-<body>
-  <header><nav>
-  <a href="/" class="title">
-    <h2 style="display:inline">lowest case</h2>
-  </a>
-<a href="/about/">about</a>
-
-
-<a href="/blog">blog</a>
-
-</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>
-
-
-  </main>
-  <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>
-
-    
-</body>
-
-</html>
author	Leonardo Santiago <[email protected]>	2024-06-01 19:15:49 -0300
committer	Leonardo Santiago <[email protected]>	2024-06-01 19:15:49 -0300
commit	3a1272c94f43e8b71811f910517b6ac2e44b94d8 (patch)
tree	299538a888fd326287ca08f35e06a055cdd77885 /public/index.html
parent	bb44f9ff1b6e41c37cdf97db949aa6fbcd06237b (diff)