@font-face {
  font-family: 'Simple Console';
  src: url(data:application/x-font-woff;charset=utf-8;base64,d09GRk9UVE8AAGspAAsAAAAAvgwAAwAAAABopAAAAoUAAAUgAAAAAAAAAABDRkYgAAAIDAAAW0gAAKTm+WJN60RTSUcAAGicAAAACAAAAAgAAAACR1NVQgAAY1QAAANZAAAGkMGItVVPUy8yAAABaAAAAFoAAABgool25mNtYXAAAARsAAADhgAABNSKA/ioaGVhZAAAAQgAAAA2AAAANheaXL9oaGVhAAABQAAAACAAAAAkBd0BAmhtdHgAAGawAAAB6gAABRRyCHMqbWF4cAAAAWAAAAAGAAAABgKHUABuYW1lAAABxAAAAqYAAAcCpKPQt3Bvc3QAAAf0AAAAFgAAACD/uAAzAAEAAAADAAAfeXhIXw889QADA+gAAAAA2zM+9QAAAADbNdoq//D/AQIoA7sAAAAHAAIAAAAAAAB4nGNgZGBgPvSfjYGBSeD/h/8vmDQYgCIogBkAkhcF4gAAUAAChwAA) format('woff');
  font-weight: 300;
  font-style: normal;
}

/* CSS Variables for theming */
:root {
  --bg-primary: #DDD;
  --bg-secondary: #CCC;
  --bg-nav: #BBB;
  --bg-nav-hover: #AAA;
  --text-primary: #000;
  --text-code: #999;
  --bg-code: #000;
  --link-hover: #BBB;
  --highlight: #000;
}

/* Dark mode colors */
[data-theme="dark"] {
  --bg-primary: #1a1a1a;
  --bg-secondary: #0d0d0d;
  --bg-nav: #262626;
  --bg-nav-hover: #333;
  --text-primary: #a4b494;
  --text-code: #a4b494;
  --bg-code: #000;
  --link-hover: #7c3aed;
  --highlight: #a855f7;
}

* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

body {
  font-family: 'Simple Console', monospace;
  font-size: 16px;
  line-height: 1.4;
  background-color: var(--bg-primary);
  color: var(--text-primary);
  font-weight: 300;
  transition: background-color 0.3s, color 0.3s;
}

.container {
  display: flex;
  min-height: 100vh;
  position: relative;
}

/* Dark mode toggle */
.theme-toggle {
  position: fixed;
  top: 10px;
  right: 10px;
  background: var(--bg-nav);
  border: 1px solid var(--text-primary);
  color: var(--text-primary);
  padding: 8px 12px;
  cursor: pointer;
  font-family: 'Simple Console', monospace;
  font-size: 14px;
  z-index: 1000;
}

.theme-toggle:hover {
  background: var(--bg-nav-hover);
}

/* Mobile menu toggle */
.nav-toggle {
  display: none;
  position: fixed;
  top: 10px;
  left: 10px;
  background: var(--bg-nav);
  border: 1px solid var(--text-primary);
  color: var(--text-primary);
  padding: 8px 12px;
  cursor: pointer;
  font-family: 'Simple Console', monospace;
  font-size: 14px;
  z-index: 1001;
}

.nav-toggle:hover {
  background: var(--bg-nav-hover);
}

nav {
  background-color: var(--bg-nav);
  padding: 20px;
  min-width: 120px;
  max-width: 120px;
  flex-shrink: 0;
  transition: transform 0.3s;
}

nav a {
  color: var(--text-primary);
  text-decoration: none;
  display: block;
  margin: 2px 0;
}

nav a:hover {
  background-color: var(--bg-nav-hover);
  color: var(--highlight);
}

main {
  background-color: var(--bg-secondary);
  padding: 20px;
  flex: 1;
  overflow-x: auto;
}

hr {
  border: none;
  height: auto;
  margin: 5px 0;
  overflow: hidden;
}

hr:before {
  content: "———";
  display: block;
  color: var(--text-primary);
}

a {
  color: var(--text-primary);
  text-decoration: underline;
}

a:hover {
  background-color: var(--link-hover);
  color: var(--highlight);
  text-decoration: underline;
}

pre {
  white-space: pre-wrap;
  word-wrap: break-word;
  font-family: 'Simple Console', monospace;
  background-color: var(--bg-code);
  color: var(--text-code);
  padding: 20px;
  margin: 5px 0;
  font-weight: 300;
  overflow-x: auto;
}

br {
  line-height: 1.4;
}

/* Tables */
table {
  width: 100%;
  border-collapse: collapse;
  margin: 10px 0;
  overflow-x: auto;
  display: block;
}

table th,
table td {
  padding: 8px;
  text-align: left;
  border-bottom: 1px solid var(--text-primary);
}

table th {
  font-weight: bold;
}

/* Tabs */
.tabs {
  margin: 20px 0;
  border-bottom: 1px solid var(--text-primary);
  overflow-x: auto;
  white-space: nowrap;
}

.tabs button {
  background: none;
  border: none;
  color: var(--text-primary);
  padding: 10px 20px;
  cursor: pointer;
  font-family: 'Simple Console', monospace;
  font-size: 14px;
}

.tabs button.active {
  color: var(--highlight);
  border-bottom: 2px solid var(--highlight);
}

.tabs button:hover {
  color: var(--highlight);
}

.tab-content {
  display: none;
  margin-top: 20px;
}

.tab-content.active {
  display: block;
}

/* Claims styling */
.claims-list {
  list-style: none;
  padding-left: 0;
}

.claims-list li {
  margin: 10px 0;
  padding-left: 15px;
  position: relative;
}

.claims-list li:before {
  content: "•";
  position: absolute;
  left: 0;
  color: var(--highlight);
}

.context {
  color: var(--text-primary);
  opacity: 0.7;
  font-size: 14px;
}

/* Mobile responsive */
@media (max-width: 768px) {
  body {
    font-size: 14px;
  }

  .container {
    flex-direction: column;
  }

  .nav-toggle {
    display: block;
  }

  nav {
    position: fixed;
    top: 0;
    left: 0;
    height: 100vh;
    max-width: 200px;
    z-index: 999;
    transform: translateX(-100%);
    box-shadow: 2px 0 5px rgba(0, 0, 0, 0.3);
  }

  nav.open {
    transform: translateX(0);
  }

  main {
    padding: 50px 15px 15px 15px;
    width: 100%;
  }

  .theme-toggle {
    top: 10px;
    right: 10px;
    font-size: 12px;
    padding: 6px 10px;
  }

  pre {
    padding: 10px;
    font-size: 12px;
  }

  table {
    font-size: 12px;
  }

  .tabs button {
    padding: 8px 15px;
    font-size: 12px;
  }
}

@media (max-width: 480px) {
  body {
    font-size: 13px;
  }

  main {
    padding: 50px 10px 10px 10px;
  }

  .theme-toggle {
    font-size: 11px;
    padding: 5px 8px;
  }

  .nav-toggle {
    font-size: 11px;
    padding: 5px 8px;
  }

  .tabs button {
    padding: 6px 12px;
    font-size: 11px;
  }

  pre {
    font-size: 11px;
    padding: 8px;
  }
}