@import"https://fonts.googleapis.com/css2?family=Space+Mono:ital,wght@0,400;0,700;1,400;1,700&family=Instrument+Serif:ital,wght@0,400;1,400&display=swap";*{box-sizing:border-box;margin:0;padding:0}html{scroll-behavior:smooth}body{background:#0a0d0c;font-family:Space Mono,JetBrains Mono,monospace;font-size:14px;line-height:1.6;color:#d8e0dc}@keyframes pulse{0%,to{opacity:1}50%{opacity:.3}}@keyframes fadeUp{0%{opacity:0;transform:translateY(20px)}to{opacity:1;transform:translateY(0)}}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}section{animation:fadeUp .8s ease-out}@media (max-width: 900px){.side-nav{display:none!important}main{padding-left:24px!important;padding-right:24px!important}}a{text-decoration:none;color:inherit}