:root {
  --terminal-purple: #e6e6fa;
  --lavender-accent: #b19cd9;
  --bg-dark: #2a1a3a;
  --terminal-bg: #1a102a;
  --error-red: #ff5555;
}

body {
  background: var(--bg-dark);
  color: var(--terminal-purple);
  font-family: 'Courier New', Courier, monospace;
  line-height: 1.6;
  margin: 0;
  overflow-x: hidden;
}

body::before {
  content: "λ";
  --font-family: monospace;
  position: fixed;
  opacity: 0.1;
  font-size: 300px;
  z-index: -1;
  top: 50%;
  left: 50%;
  transform: translate(-50%, -50%);
  color: var(--lavender-accent);
  animation: iconCycle 30s infinite;
}

@keyframes iconCycle {
  0%, 33% { content: "λ"; }
  34%, 66% { content: "🐾"; }
  67%, 100% { content: "★"; }
}

nav {
  background: var(--terminal-bg);
  padding: 1rem;
  border-bottom: 2px solid var(--lavender-accent);
  position: sticky;
  top: 0;
}

nav ul {
  display: flex;
  list-style: none;
  gap: 2rem;
  margin: 0;
  padding: 0;
}

nav a {
  color: var(--terminal-purple);
  text-decoration: none;
  font-size: 1.1rem;
  transition: 0.3s;
  position: relative;
}

nav a::before {
  content: 'λ.';
  margin-right: 0.5rem;
  font-family: monospace;
  color: var(--lavender-accent);
}

.container {
  max-width: 1200px;
  margin: 0 auto;
  padding: 2rem;
}

@keyframes typing {
  from { width: 0 }
  to { width: 100% }
}

@keyframes blink-caret {
  from, to { border-color: transparent }
  50% { border-color: var(--lavender-accent) }
}

.lambda-prompt {
  border-left: 3px solid var(--lavender-accent);
  padding-left: 1rem;
  margin: 2rem 0;
  position: relative;
  overflow: hidden;
  white-space: nowrap;
  animation: 
      typing 3.5s steps(40, end),
      blink-caret .75s step-end infinite;
}

@keyframes blink {
  0% { opacity: 1; }
  50% { opacity: 0; }
  100% { opacity: 1; }
}

.loading {
  position: relative;
  padding-left: 1rem;
}

.loading::after {
  content: '';
  position: absolute;
  right: -0.5rem;
  animation: blink 1s infinite;
  color: var(--lavender-accent);
}


.lambda-toc {
  margin: 2rem 0;
}

.lambda-toc a {
  display: grid;
  grid-template-columns: auto auto 1fr;
  align-items: center;
  gap: 1rem;
  padding: 1rem;
  margin: 1rem 0;
  border: 1px solid var(--lavender-accent);
  border-radius: 4px;
  transition: transform 0.3s;
  text-decoration: none;
  color: inherit;
}

.lambda-toc a:hover {
  transform: translateX(10px);
}

.lambda-symbol {
  color: var(--lavender-accent);
  font-size: 1.5em;
  font-family: monospace;
}

.variable {
  color: var(--terminal-purple);
}

.post-info {
  display: flex;
  flex-direction: column;
  margin-left: 1rem;
}

.post-title {
  font-weight: bold;
}

.post-date {
  color: var(--lavender-accent);
  font-size: 0.8em;
  opacity: 0.8;
}

.error {
  color: var(--error-red);
  padding: 1rem;
  border: 1px solid var(--error-red);
}

.lorem {
  margin: 1.5rem 0;
  padding: 0 1rem;
  border-left: 2px solid var(--lavender-accent);
  font-style: monospace;
  opacity: 0.9;
}

.code-container {
  background: var(--terminal-bg);
  padding: 1rem;
  margin: 2rem 0;
  border: 1px solid var(--lavender-accent);
  position: relative;
}

.code-container-lean {
  background: var(--terminal-bg);
  padding: 1rem;
  margin: 2rem 0;
  border: 1px solid var(--lavender-accent);
  position: relative;
}

.code-container-rust {
  background: var(--terminal-bg);
  padding: 1rem;
  margin: 2rem 0;
  border: 1px solid var(--lavender-accent);
  position: relative;
}

.code-container::before {
  content: 'λ-TERM - ';
  position: absolute;
  font-family: monospace;
  top: -12px;
  left: 10px;
  background: var(--bg-dark);
  padding: 0 5px;
  color: var(--lavender-accent);
}

.code-container-rust::before {
  content: 'RUST';
  position: absolute;
  font-family: monospace;
  top: -12px;
  left: 10px;
  background: var(--bg-dark);
  padding: 0 5px;
  color: var(--lavender-accent);
}

.code-container-lean::before {
  content: 'L' '∃' '∀' 'N' '4';
  font-family: monospace;
  position: absolute;
  top: -12px;
  left: 10px;
  background: var(--bg-dark);
  padding: 0 5px;
  color: var(--lavender-accent);
}

.footer-container {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 1rem;
  margin-top: 2rem;
}

.contact-info {
  flex: 1;
  margin-right: 1rem;
  text-align: right;
}

.contact-info h2 {
  color: var(--lavender-accent);
  font-size: 1.5rem;
  margin-bottom: 1rem;
  font-family: monospace;
}

.contact-info ul {
  list-style-type: none;
  padding: 0;
  margin: 0;
}

.contact-info ul li {
  margin-bottom: 0.75rem;
  font-family: monospace;
  color: var(--terminal-purple);
}

.contact-info ul li a {
  color: var(--lavender-accent);
  text-decoration: none;
  transition: color 0.3s;
}

.contact-info ul li a:hover {
  color: var(--terminal-purple);
  text-decoration: underline;
}

.profile-image {
  flex: 1;
  text-align: left;
}

.profile-image img {
  max-width: 8rem;
  border-radius: 2%;
  box-shadow: 0 0 1px rgba(177, 156, 217, 0.5);
}

.favorites li span {
  color: var(--terminal-purple);
}