@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("../static/fonts/IBMPlexMono-Regular.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("../static/fonts/IBMPlexMono-Medium.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("../static/fonts/IBMPlexMono-SemiBold.woff2") format("woff2");
}

:root {
  --bg: #000000;
  --surface: #000000;
  --text: #e0e0e0;
  --text-strong: #ffffff;
  --max: 800px;
  --space-1: 4px;
  --space-2: 8px;
  --space-3: 16px;
  --space-4: 24px;
  --space-5: 32px;
  --space-6: 40px;
}

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
}

body {
  margin: 0;
  min-height: 100vh;
  font-family: "IBM Plex Mono", ui-monospace, monospace;
  font-size: 14px;
  line-height: 1.4;
  font-feature-settings: "liga" 0, "calt" 1, "zero" 1;
  color: var(--text);
  background: var(--bg);
  text-transform: lowercase;
  position: relative;
  padding-bottom: 96px;
}

.wrap {
  position: relative;
  z-index: 1;
  max-width: var(--max);
  margin: 0 auto;
  padding: var(--space-4) var(--space-3);
}

header {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: var(--space-3);
  margin-bottom: var(--space-5);
  padding-bottom: var(--space-3);
}

.brand {
  display: flex;
  align-items: center;
  gap: var(--space-3);
  text-decoration: none;
  color: inherit;
}

.brand:hover {
  color: var(--text-strong);
}

.brand:focus-visible {
  outline: none;
  text-decoration: underline;
  text-underline-offset: 4px;
}

.brand img {
  display: block;
  width: 72px;
  height: 72px;
  object-fit: contain;
}

.brand-text h1 {
  margin: 0;
  font-size: 22px;
  font-weight: 600;
  letter-spacing: 0.04em;
  color: var(--text-strong);
}

.brand-text .tag {
  margin: var(--space-1) 0 0;
  font-size: 12px;
  font-weight: 400;
  color: var(--text);
  opacity: 0.9;
}

.brand-text .tag sub {
  font-size: 0.85em;
  vertical-align: baseline;
}

nav ul {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2) var(--space-3);
  margin: 0;
  padding: 0;
  list-style: none;
}

nav a {
  color: inherit;
  text-decoration: none;
  font-weight: 500;
}

nav a:hover {
  text-decoration: underline;
  text-underline-offset: 4px;
}

nav a:focus-visible {
  outline: none;
  text-decoration: underline;
  font-weight: 600;
  text-underline-offset: 4px;
}

main section {
  margin-bottom: var(--space-6);
}

.section-title {
  margin: 0 0 var(--space-3);
  padding-bottom: 0;
  font-size: 13px;
  font-weight: 600;
  letter-spacing: 0.06em;
  color: var(--text-strong);
}

.hero {
  padding: 0;
  background: var(--surface);
}

.hero p {
  margin: 0 0 var(--space-3);
  max-width: 52ch;
}

.hero math {
  display: block;
  margin: var(--space-3) 0;
  font-size: 1.05em;
  overflow-x: auto;
}

.tranqueira {
  display: grid;
  gap: var(--space-4);
}

@media (min-width: 560px) {
  .tranqueira {
    grid-template-columns: repeat(2, 1fr);
  }
}

@media (min-width: 720px) {
  .tranqueira {
    grid-template-columns: repeat(3, 1fr);
  }
}

.card {
  padding: 0;
  background: var(--surface);
}

.card h3 {
  margin: 0 0 var(--space-2);
  font-size: 14px;
  font-weight: 600;
  color: var(--text-strong);
}

.card time {
  display: block;
  margin-bottom: var(--space-2);
  font-size: 12px;
  font-weight: 500;
  color: var(--text);
}

.card p {
  margin: 0 0 var(--space-2);
  font-size: 13px;
}

.card a {
  color: inherit;
  text-decoration: none;
  font-weight: 500;
}

.card a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

.card a:focus-visible {
  outline: none;
  text-decoration: underline;
  font-weight: 600;
}

.log-list {
  margin: 0;
  padding: 0;
  list-style: none;
}

.log-list li {
  margin-bottom: var(--space-4);
  padding: 0;
  background: var(--surface);
}

.log-list h2 {
  margin: 0 0 var(--space-2);
  font-size: 15px;
  font-weight: 600;
  color: var(--text-strong);
}

.log-list time {
  display: block;
  margin-bottom: var(--space-2);
  font-size: 12px;
  color: var(--text);
}

.log-list p {
  margin: 0;
  font-size: 13px;
}

.log-list p + p {
  margin-top: var(--space-2);
}

.log-list a {
  color: inherit;
  text-decoration: none;
  font-weight: 500;
}

.log-list a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

.log-list a:focus-visible {
  outline: none;
  text-decoration: underline;
  font-weight: 600;
}

.log-error {
  margin-top: var(--space-3);
  font-size: 13px;
  color: var(--text);
}

.log-error code {
  font-size: inherit;
}

.log-empty {
  margin-top: var(--space-3);
  font-size: 13px;
  color: var(--text);
}

.log-entry-summary {
  max-width: 72ch;
  white-space: pre-wrap;
  overflow-wrap: break-word;
  word-break: normal;
}

.entry-back {
  margin: 0 0 var(--space-3);
  font-size: 13px;
}

.entry-back a {
  color: inherit;
  text-decoration: none;
}

.entry-back a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

.entry-article {
  margin-top: var(--space-2);
}

.entry-summary {
  max-width: 72ch;
  white-space: pre-wrap;
  overflow-wrap: break-word;
  word-break: normal;
  margin: var(--space-2) 0 var(--space-3);
  font-size: 13px;
}

.entry-body {
  max-width: 72ch;
  font-size: 13px;
  line-height: 1.5;
}

.entry-body p {
  margin: 0 0 var(--space-3);
}

.entry-body pre {
  overflow-x: auto;
  padding: var(--space-2);
  margin: 0 0 var(--space-3);
  font-size: 12px;
}

footer {
  position: fixed;
  left: 0;
  right: 0;
  bottom: 0;
  z-index: 2;
  padding: var(--space-3);
  text-align: center;
  font-size: 12px;
  color: var(--text);
  background: var(--bg);
}

.footer-line {
  margin: 0;
  display: inline-flex;
  flex-wrap: nowrap;
  align-items: center;
  justify-content: center;
  gap: var(--space-1);
  max-width: 100%;
  white-space: nowrap;
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

footer a {
  color: inherit;
  text-decoration: none;
}

footer a:hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

footer a:focus-visible {
  outline: none;
  text-decoration: underline;
  font-weight: 600;
}

.redirect-msg {
  margin: var(--space-4);
  font-size: 14px;
}

.redirect-msg a {
  color: inherit;
}

.redirect-msg a:focus-visible {
  outline: none;
  text-decoration: underline;
}

@media (max-width: 420px) {
  .footer-line {
    font-size: 11px;
  }
}