body {
    background-color: black;
    background-image: radial-gradient(rgba(31, 31, 31, 0.75), #282828 120%);
    height: 100vh;
    margin: 0;
    overflow: hidden;
    padding: 2rem;
    color: #80f58a;
    font: 1.3rem Inconsolata, monospace;
    text-shadow: 0 0 13px #35e279;
    filter: blur(0.7px);
  }
  body::after {
    content: "";
    position: absolute;
    top: 0;
    left: 0;
    width: 100vw;
    height: 100vh;
    background: repeating-linear-gradient(0deg, rgba(0, 0, 0, 0.15), rgba(0, 0, 0, 0.15) 3px, transparent 3px, transparent 6px);
    pointer-events: none;
  }
  
  .animate::selection {
    background: #078011;
    text-shadow: none;
    color: white;
  }
  
  pre {
    margin: 0;
  }