/* Reset and base styles */
* {
  margin: 0;
  padding: 0;
  box-sizing: border-box;
}

body {
  font-family:
    "Inter",
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    Roboto,
    sans-serif;
  line-height: 1.6;
}

.container {
  max-width: 1200px;
  margin: 0 auto;
  padding: 0 20px;
  width: 100%;
  overflow-x: hidden;
}

:root {
  /* Dark theme (default) */
  --bg: #1a1a1f;
  --fg: #f8f8f2;
  --comment: #7970a9;
  --menu: #2d2d37;
  --visual: #44475a;
  --gutter-fg: #4b5263;
  --nontext: #424450;
  --selection: #454158;
  --red: #ff9580;
  --green: #8aff80;
  --yellow: #ffff80;
  --purple: #9580ff;
  --pink: #ff80bf;
  --cyan: #80ffea;
  --white: #f8f8f2;
  --bright-red: #ffaa99;
  --bright-green: #a2ff99;
  --bright-yellow: #ffff99;
  --bright-blue: #aa99ff;
  --bright-magenta: #ff99cc;
  --bright-cyan: #99ffee;
  --bright-white: #ffffff;

  /* Standardized aliases for this project */
  --primary-color: var(--purple);
  --secondary-color: var(--comment);
  --tertiary-color: var(--selection);
  --text-color: var(--fg);
  --bg-color: var(--bg);
  --card-bg: var(--menu);
  --border-color: var(--visual);
  --box-shadow: 0 2px 10px rgba(0, 0, 0, 0.3);
  --border-radius: 8px;
  --selection-color: var(--selection);
  --code-bg: #1a1a24;
}

[data-theme="light"] {
  /* Light theme */
  --bg: #f5f5f5;
  --fg: #1f1f1f;
  --comment: #635d97;
  --menu: #e5e5e5;
  --visual: #c5c5c5;
  --gutter-fg: #4f4f4f;
  --nontext: #3f3f3f;
  --selection: #cfcfde;
  --bg-secondary: #e0e0e0;
  --red: #cb3a2a;
  --green: #14710a;
  --yellow: #846e15;
  --purple: #644ac9;
  --pink: #a3144d;
  --cyan: #036a96;
  --white: #1f1f1f;
  --bright-red: #cb3a2a;
  --bright-green: #14710a;
  --bright-yellow: #846e15;
  --bright-blue: #336699;
  --bright-magenta: #644ac9;
  --bright-cyan: #036a96;
  --bright-white: #f5f5f5;
}

body {
  background-color: var(--bg);
  color: var(--fg);
}

/* Floating theme toggle */
.theme-toggle-float {
  position: fixed;
  top: 1rem;
  right: 1rem;
  z-index: 1000;
  width: 44px;
  height: 44px;
  background-color: var(--selection);
  border: 1px solid var(--visual);
  border-radius: 50%;
  cursor: pointer;
  display: flex;
  align-items: center;
  justify-content: center;
}

.theme-toggle-float:hover {
  background-color: var(--visual);
}

.theme-icon {
  color: var(--fg);
}

/* Header */
.header {
  background-color: var(--menu);
  color: var(--fg);
  padding: 1.5rem 0;
  box-shadow: 0 2px 10px rgba(0, 0, 0, 0.1);
  text-align: center;
  border-bottom: 1px solid var(--visual);
}

.title {
  font-size: 2rem;
  font-weight: 700;
  margin-bottom: 0.5rem;
}

.subtitle {
  font-size: 1rem;
  opacity: 0.9;
  margin-bottom: 0;
}

/* Buttons */
.btn {
  padding: 0.5rem 1rem;
  border: none;
  border-radius: 6px;
  font-size: 0.9rem;
  font-weight: 500;
  cursor: pointer;
  text-decoration: none;
  display: inline-flex;
  align-items: center;
  gap: 0.5rem;
  background-color: var(--selection);
  color: var(--fg);
  border: 1px solid var(--visual);
}

.btn:hover {
  background-color: var(--visual);
}

.btn-secondary {
  background-color: var(--selection);
  color: var(--fg);
  border: 1px solid var(--visual);
}

.btn-secondary:hover {
  background-color: var(--visual);
}

/* Main content */
.main {
  padding: 2rem 0;
  min-height: calc(100vh - 200px);
}

/* Controls */
.controls {
  display: flex;
  gap: 1rem;
  margin-bottom: 2rem;
  flex-wrap: wrap;
  align-items: center;
}

.view-controls {
  display: flex;
  gap: 0.5rem;
}

.view-btn {
  padding: 0.75rem 1rem;
  background-color: var(--menu);
  border: 2px solid var(--visual);
  border-radius: 8px;
  cursor: pointer;
  color: var(--fg);
  font-size: 1rem;
  font-weight: 500;
  text-decoration: none;
  display: inline-flex;
  align-items: center;
  justify-content: center;
}

.view-btn.active {
  background-color: var(--visual);
  color: var(--fg);
}

.view-btn:hover {
  background-color: var(--visual);
}

.view-btn:focus {
  outline: none;
  border-color: var(--cyan);
}

.search-container {
  flex: 1;
  min-width: 250px;
}

.search-input {
  width: 100%;
  padding: 0.75rem 1rem;
  border: 2px solid var(--visual);
  border-radius: 8px;
  font-size: 1rem;
  background-color: var(--menu);
  color: var(--fg);
  box-sizing: border-box;
  line-height: 1.2;
  min-height: 44px;
}

.search-input::placeholder {
  color: var(--comment);
}

.search-input:focus {
  outline: none;
  border-color: var(--cyan);
}

.filter-container {
  min-width: 200px;
}

.filter-select {
  width: 100%;
  padding: 0.75rem 1rem;
  border: 2px solid var(--visual);
  border-radius: 8px;
  font-size: 1rem;
  background-color: var(--menu);
  color: var(--fg);
  cursor: pointer;
}

.filter-select:focus {
  outline: none;
  border-color: var(--cyan);
}

.category-toggles {
  display: flex;
  gap: 0.5rem;
  flex-wrap: wrap;
  align-items: center;
}

.category-btn {
  padding: 0.75rem 1rem;
  background-color: var(--menu);
  border: 2px solid var(--visual);
  border-radius: 8px;
  font-size: 1rem;
  font-weight: 500;
  cursor: pointer;
  color: var(--fg);
  text-decoration: none;
  display: inline-flex;
  align-items: center;
  justify-content: center;
  min-width: 60px;
}

.category-btn.active {
  background-color: var(--visual);
  color: var(--fg);
}

.category-btn:hover {
  background-color: var(--visual);
}

.category-btn:focus {
  outline: none;
}

.category-btn.equality.active {
  background-color: var(--green);
  color: var(--bg);
}

.category-btn.comparison.active {
  background-color: var(--cyan);
  color: var(--bg);
}

.category-btn.pattern.active {
  background-color: var(--yellow);
  color: var(--bg);
}

.category-btn.presence.active {
  background-color: var(--purple);
  color: var(--bg);
}

.category-btn.inclusion.active {
  background-color: var(--pink);
  color: var(--bg);
}

.category-btn.boolean.active {
  background-color: var(--bright-blue);
  color: var(--bg);
}

body.light-theme .category-btn.equality.active {
  background-color: rgba(20, 113, 10, 0.2);
  color: #1f1f1f;
}

body.light-theme .category-btn.comparison.active {
  background-color: rgba(3, 106, 150, 0.2);
  color: #1f1f1f;
}

body.light-theme .category-btn.pattern.active {
  background-color: rgba(132, 110, 21, 0.2);
  color: #1f1f1f;
}

body.light-theme .category-btn.presence.active {
  background-color: rgba(100, 74, 201, 0.2);
  color: #1f1f1f;
}

body.light-theme .category-btn.inclusion.active {
  background-color: rgba(163, 20, 77, 0.2);
  color: #1f1f1f;
}

body.light-theme .category-btn.boolean.active {
  background-color: rgba(51, 102, 153, 0.2);
  color: #1f1f1f;
}

/* Category dropdown for mobile */
.category-dropdown {
  display: none;
  position: relative;
  width: 100%;
}

.dropdown-toggle {
  width: 100%;
  padding: 0.75rem 1rem;
  background-color: var(--menu);
  border: 2px solid var(--visual);
  border-radius: 8px;
  font-size: 1rem;
  font-weight: 500;
  color: var(--fg);
  cursor: pointer;
  display: flex;
  justify-content: space-between;
  align-items: center;
  text-align: left;
  box-sizing: border-box;
  line-height: 1.2;
  min-height: 44px;
}

.dropdown-toggle span {
  color: var(--fg);
  font-weight: 500;
}

.dropdown-toggle svg {
  color: var(--fg);
  flex-shrink: 0;
}

.dropdown-toggle:hover {
  background-color: var(--visual);
}

.dropdown-toggle:focus {
  outline: none;
  border-color: var(--cyan);
}

.dropdown-menu {
  position: absolute;
  top: 100%;
  left: 0;
  right: 0;
  background-color: var(--menu);
  border-radius: 0 0 8px 8px;
  z-index: 100;
  max-height: 0;
  overflow: hidden;
  transition: max-height 0.3s ease;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.15);
}

.dropdown-menu.show {
  max-height: 300px;
  overflow-y: auto;
}

.dropdown-item {
  display: flex;
  align-items: center;
  padding: 0.75rem 1rem;
  cursor: pointer;
  border-bottom: 1px solid var(--visual);
  transition: background-color 0.2s ease;
}

.dropdown-item:last-child {
  border-bottom: none;
}

.dropdown-item:hover {
  background-color: var(--visual);
}

.dropdown-item input[type="checkbox"] {
  margin-right: 0.75rem;
  width: 16px;
  height: 16px;
  accent-color: var(--cyan);
}

.dropdown-item span {
  flex: 1;
  color: var(--fg);
  font-size: 0.9rem;
}

/* Loading and error states */
.loading,
.error {
  text-align: center;
  padding: 3rem 1rem;
  font-size: 1.1rem;
}

.loading {
  color: var(--comment);
}

.error {
  color: var(--red);
  background-color: rgba(255, 149, 128, 0.1);
  border: 1px solid var(--red);
  border-radius: 8px;
}

/* Predicates grid */
.predicates-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(400px, 1fr));
  gap: 1.5rem;
  width: 100%;
  overflow: hidden;
}

.predicate-card {
  background: var(--menu);
  border-radius: 12px;
  padding: 1rem;
  box-shadow: 0 2px 8px rgba(0, 0, 0, 0.1);
  border-left: 4px solid;
  width: 100%;
  min-width: 0;
  word-wrap: break-word;
  overflow-wrap: break-word;
  box-sizing: border-box;
  overflow: hidden;
  display: flex;
  flex-direction: column;
}

/* List view */
.predicates-list {
  display: flex;
  flex-direction: column;
  gap: 0.5rem;
}

.predicate-list-item {
  display: grid;
  grid-template-columns: 200px 1fr;
  gap: 5rem;
  padding: 1rem;
  background-color: var(--menu);
  border-radius: 8px;
  border-left: 4px solid;
  align-items: start;
  position: relative;
}

.predicate-list-item.equality {
  border-left-color: var(--green);
}

.predicate-list-item.comparison {
  border-left-color: var(--cyan);
}

.predicate-list-item.pattern {
  border-left-color: var(--yellow);
}

.predicate-list-item.presence {
  border-left-color: var(--purple);
}

.predicate-list-item.inclusion {
  border-left-color: var(--pink);
}

.predicate-list-item.boolean {
  border-left-color: var(--bright-blue);
}

.predicate-list-name {
  font-size: 1.5rem;
  font-weight: 700;
  color: var(--fg);
  grid-column: 1;
  display: flex;
  align-items: center;
  flex-wrap: nowrap;
}

.predicate-list-info {
  grid-column: 2;
  display: flex;
  flex-direction: column;
  justify-content: flex-start;
  text-align: left;
  padding-left: 4rem;
}

.predicate-list-info .terminal-prompt {
  width: 100%;
}

.predicate-list-description {
  font-size: 1.1rem;
  font-weight: 600;
  color: var(--fg);
  margin-bottom: 0.25rem;
  line-height: 1.3;
  word-wrap: break-word;
  overflow-wrap: break-word;
  display: none;
}

.predicate-list-syntax {
  font-family: "Monaco", "Menlo", "Ubuntu Mono", monospace;
  font-size: 0.9rem;
  color: var(--comment);
  line-height: 1.3;
  word-wrap: break-word;
  overflow-wrap: break-word;
}

.predicate-list-actions {
  display: flex;
  gap: 0.5rem;
  align-items: center;
  justify-self: end;
  position: absolute;
  right: 1rem;
  top: 1rem;
}

.predicate-card:hover {
  box-shadow: 0 4px 16px rgba(0, 0, 0, 0.15);
}

.predicate-card.equality {
  border-left-color: var(--green);
}

.predicate-card.comparison {
  border-left-color: var(--cyan);
}

.predicate-card.pattern {
  border-left-color: var(--yellow);
}

.predicate-card.presence {
  border-left-color: var(--purple);
}

.predicate-card.inclusion {
  border-left-color: var(--pink);
}

.predicate-card.boolean {
  border-left-color: var(--bright-blue);
}

.predicate-header {
  display: flex;
  justify-content: space-between;
  align-items: flex-start;
  margin-bottom: 0.5rem;
}

.predicate-name {
  font-size: 1.5rem;
  font-weight: 700;
  color: var(--fg);
  word-break: break-word;
  display: flex;
  align-items: center;
  gap: 0.5rem;
}

.predicate-category {
  font-size: 0.8rem;
  padding: 0.25rem 0.5rem;
  border-radius: 4px;
  font-weight: 500;
  text-transform: uppercase;
  letter-spacing: 0.5px;
}

body.light-theme .predicate-category {
  border: 1px solid currentColor;
}

body.light-theme .predicate-category.equality {
  border-color: rgba(20, 113, 10, 0.5);
}

body.light-theme .predicate-category.comparison {
  border-color: rgba(3, 106, 150, 0.5);
}

body.light-theme .predicate-category.pattern {
  border-color: rgba(132, 110, 21, 0.5);
}

body.light-theme .predicate-category.presence {
  border-color: rgba(100, 74, 201, 0.5);
}

body.light-theme .predicate-category.inclusion {
  border-color: rgba(163, 20, 77, 0.5);
}

body.light-theme .predicate-category.boolean {
  border-color: rgba(51, 102, 153, 0.5);
}

.predicate-category.equality {
  background-color: rgba(138, 255, 128, 0.1);
  color: var(--green);
}

.predicate-category.comparison {
  background-color: rgba(128, 255, 234, 0.1);
  color: var(--cyan);
}

.predicate-category.pattern {
  background-color: rgba(255, 255, 128, 0.1);
  color: var(--yellow);
}

.predicate-category.presence {
  background-color: rgba(149, 128, 255, 0.1);
  color: var(--purple);
}

.predicate-category.inclusion {
  background-color: rgba(255, 128, 191, 0.1);
  color: var(--pink);
}

.predicate-category.boolean {
  background-color: rgba(170, 153, 255, 0.1);
  color: var(--bright-blue);
}

.predicate-description {
  font-size: 1rem;
  font-weight: 600;
  color: var(--fg);
  margin-bottom: 0.4rem;
}

.predicate-syntax {
  font-family: "Monaco", "Menlo", "Ubuntu Mono", monospace;
  font-size: 0.85rem;
  color: var(--comment);
  margin-bottom: 0.6rem;
}

/* Terminal prompt styling */
.terminal-prompt {
  background-color: var(--bg);
  border: 1px solid var(--visual);
  border-radius: 6px;
  padding: 0.5rem;
  margin-bottom: 0.6rem;
  position: relative;
  font-family: "Monaco", "Menlo", "Ubuntu Mono", monospace;
  font-size: 0.85rem;
  display: flex;
  align-items: center;
  justify-content: space-between;
  min-height: 36px;
}

.terminal-prompt-content {
  display: flex;
  align-items: center;
  flex: 1;
  min-width: 0;
}

.terminal-prompt-prefix {
  color: var(--green);
  margin-right: 0.5rem;
  flex-shrink: 0;
}

.terminal-prompt-command {
  color: var(--fg);
  flex: 1;
  min-width: 0;
  overflow: hidden;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.terminal-copy-btn,
.terminal-doc-btn {
  background: none;
  border: none;
  color: var(--comment);
  cursor: pointer;
  padding: 0.25rem;
  border-radius: 4px;
  display: flex;
  align-items: center;
  justify-content: center;
  flex-shrink: 0;
  transition: all 0.2s ease;
  text-decoration: none;
}

.terminal-doc-btn {
  color: var(--comment);
}

.terminal-copy-btn {
  margin-left: 0.5rem;
}

.terminal-copy-btn:hover,
.terminal-doc-btn:hover {
  background-color: var(--selection);
  color: var(--fg);
}

.terminal-copy-btn svg,
.terminal-doc-btn svg {
  width: 14px;
  height: 14px;
}

.terminal-copy-btn.copy-success {
  color: var(--green);
  background-color: var(--selection);
}

.predicate-example {
  margin-bottom: 0.8rem;
}

.predicate-example h4 {
  margin: 0 0 0.5rem 0;
  font-size: 0.8rem;
  color: var(--comment);
  text-transform: uppercase;
  letter-spacing: 0.05em;
}

.predicate-example pre {
  font-family: "Monaco", "Menlo", "Ubuntu Mono", monospace;
  font-size: 0.8rem;
  background-color: var(--selection);
  padding: 0.5rem;
  border-radius: 6px;
  color: var(--fg);
  border: 1px solid var(--visual);
  overflow-x: auto;
  max-height: 180px;
  overflow-y: auto;
  white-space: pre-wrap;
  word-break: break-word;
}

.predicate-actions {
  display: flex;
  gap: 0.5rem;
  margin-top: 0.5rem;
  justify-content: flex-end;
}

.copy-btn.copy-success {
  background-color: var(--visual) !important;
  color: var(--fg) !important;
  transform: scale(1.05);
}

/* Footer */
.footer {
  background-color: var(--bg);
  color: var(--comment);
  padding: 1.5rem 0;
  margin-top: 3rem;
  border-top: 1px solid var(--visual);
  text-align: center;
}

.footer a {
  color: var(--comment);
  text-decoration: none;
}

.footer a:hover {
  color: var(--cyan);
  text-decoration: underline;
}

/* Responsive design */
@media (max-width: 768px) {
  .container {
    padding: 0 15px;
    width: 100%;
    overflow-x: hidden;
  }

  .header {
    padding: 1rem 0;
    text-align: left;
  }

  .title {
    font-size: 1.5rem;
    margin-bottom: 0.25rem;
  }

  .subtitle {
    font-size: 0.85rem;
    margin-bottom: 0;
  }

  .theme-toggle-float {
    width: 40px;
    height: 40px;
    top: 0.75rem;
    right: 0.75rem;
  }

  .main {
    padding: 1rem 0;
  }

  .controls {
    flex-direction: column;
    gap: 1rem;
    align-items: stretch;
    margin-bottom: 1.5rem;
  }

  .search-container {
    min-width: auto;
    width: 100%;
    order: 2;
  }

  .search-input {
    padding: 0.6rem 0.8rem;
    font-size: 0.9rem;
    line-height: 1.2;
  }

  .dropdown-toggle {
    padding: 0.6rem 0.8rem;
    font-size: 0.9rem;
    line-height: 1.2;
    font-weight: 400;
    background-color: var(--menu);
    border: 2px solid var(--visual);
    border-radius: 8px;
    color: var(--fg);
  }

  #dropdown-text {
    color: var(--comment) !important;
    font-weight: 400 !important;
    font-size: 0.9rem !important;
    line-height: 1.2 !important;
    font-family: inherit !important;
  }

  .dropdown-toggle svg {
    color: var(--fg) !important;
  }

  .category-toggles {
    display: flex;
    width: 100%;
    justify-content: flex-start;
    gap: 0.4rem;
    order: 1;
    margin-bottom: 0;
  }

  .category-dropdown {
    display: block;
    width: 100%;
  }

  .category-btn {
    display: none;
  }

  .view-controls {
    display: flex;
    width: 100%;
    justify-content: center;
    order: 0;
    margin-bottom: 0.5rem;
  }

  .view-btn {
    padding: 0.5rem 0.75rem;
    font-size: 0.85rem;
    border-radius: 6px;
  }

  .predicates-grid {
    grid-template-columns: 1fr;
    gap: 1rem;
    width: 100%;
    overflow: hidden;
    max-width: 100%;
  }

  .predicate-card {
    padding: 1rem;
    border-radius: 8px;
    width: 100%;
    min-width: 0;
    word-wrap: break-word;
    overflow-wrap: break-word;
    box-sizing: border-box;
  }

  .predicate-header {
    flex-direction: column;
    gap: 0.5rem;
    align-items: flex-start;
  }

  .predicate-name {
    font-size: 1.5rem;
  }

  .predicate-description {
    font-size: 1rem;
  }

  .predicate-syntax {
    font-size: 0.8rem;
    margin-bottom: 0.75rem;
  }

  .terminal-prompt {
    font-size: 0.8rem;
    padding: 0.4rem;
    min-height: 32px;
  }

  .terminal-prompt-prefix {
    margin-right: 0.4rem;
  }

  .terminal-copy-btn,
  .terminal-doc-btn {
    padding: 0.2rem;
  }

  .terminal-copy-btn {
    margin-left: 0.4rem;
  }

  .terminal-copy-btn svg,
  .terminal-doc-btn svg {
    width: 12px;
    height: 12px;
  }

  .predicate-actions {
    gap: 0.4rem;
    margin-top: 0.75rem;
  }

  .predicate-link {
    font-size: 0.8rem;
    padding: 0.3rem 0.6rem;
  }

  .predicates-list {
    gap: 0.4rem;
  }

  .predicate-list-item {
    padding: 0.75rem;
    border-radius: 6px;
    flex-direction: column;
    align-items: flex-start;
    gap: 0.5rem;
  }

  .predicate-list-name {
    font-size: 1.2rem;
    min-width: auto;
  }

  .predicate-list-description {
    font-size: 0.95rem;
  }

  .predicate-list-syntax {
    font-size: 0.8rem;
  }

  .predicate-list-actions {
    width: 100%;
    justify-content: flex-end;
    gap: 0.4rem;
  }

  .predicate-list-info {
    display: none;
  }

  .footer {
    padding: 1rem 0;
    margin-top: 2rem;
    font-size: 0.85rem;
  }
}

@media (max-width: 480px) {
  .container {
    padding: 0 10px;
    width: 100%;
    overflow-x: hidden;
  }

  .header {
    padding: 0.75rem 0;
  }

  .title {
    font-size: 1.3rem;
  }

  .subtitle {
    font-size: 0.8rem;
  }

  .theme-toggle-float {
    width: 36px;
    height: 36px;
    top: 0.5rem;
    right: 0.5rem;
  }

  .main {
    padding: 0.75rem 0;
  }

  .controls {
    margin-bottom: 1rem;
    gap: 0.75rem;
  }

  .search-input {
    padding: 0.5rem 0.7rem;
    font-size: 0.85rem;
  }

  #dropdown-text {
    font-size: 0.85rem !important;
  }

  .category-toggles {
    gap: 0.3rem;
  }

  .category-btn {
    padding: 0.4rem 0.6rem;
    font-size: 0.8rem;
    min-width: 45px;
  }

  .view-btn {
    padding: 0.4rem 0.6rem;
    font-size: 0.8rem;
  }

  .predicate-card {
    padding: 0.75rem;
  }

  .predicate-name {
    font-size: 1.3rem;
  }

  .predicate-description {
    font-size: 0.95rem;
  }

  .predicate-syntax {
    font-size: 0.75rem;
  }

  .terminal-prompt {
    font-size: 0.75rem;
    padding: 0.35rem;
    min-height: 30px;
  }

  .terminal-prompt-prefix {
    margin-right: 0.35rem;
  }

  .terminal-copy-btn,
  .terminal-doc-btn {
    padding: 0.15rem;
  }

  .terminal-copy-btn {
    margin-left: 0.35rem;
  }

  .terminal-copy-btn svg,
  .terminal-doc-btn svg {
    width: 11px;
    height: 11px;
  }

  .predicate-actions {
    gap: 0.3rem;
  }

  .predicate-link {
    font-size: 0.75rem;
    padding: 0.25rem 0.5rem;
  }

  .predicate-list-item {
    padding: 0.6rem;
  }

  .predicate-list-name {
    font-size: 1.1rem;
  }

  .predicate-list-description {
    font-size: 0.9rem;
  }

  .predicate-list-syntax {
    font-size: 0.75rem;
  }

  .predicate-list-info {
    display: none;
  }

  .footer {
    padding: 0.75rem 0;
    font-size: 0.8rem;
  }
}

/* Small improvements for touch devices */
@media (hover: none) and (pointer: coarse) {
  .category-btn,
  .view-btn,
  .predicate-link {
    min-height: 44px;
    min-width: 44px;
  }

  .predicate-actions {
    gap: 0.75rem;
  }
}

/* Override Prism default styles to match existing code blocks */
pre[class*="language-"] {
  background-color: var(--bg) !important;
  color: var(--fg) !important;
  font-family: "Monaco", "Menlo", "Ubuntu Mono", monospace;
  font-size: 0.8rem !important;
  border-radius: 6px;
  border: 1px solid var(--visual);
  text-shadow: none !important;
}

code[class*="language-"] {
  background-color: transparent !important;
  color: inherit !important;
  font-family: inherit !important;
  font-size: inherit !important;
  border: none !important;
  border-radius: 0px !important;
  text-shadow: none !important;
}

/* Text selection styling for code blocks */
pre[class*="language-"]::selection,
code[class*="language-"]::selection,
pre[class*="language-"] *::selection,
code[class*="language-"] *::selection {
  background-color: var(--selection) !important;
  color: var(--fg) !important;
}

/* Firefox compatibility */
pre[class*="language-"]::-moz-selection,
code[class*="language-"]::-moz-selection,
pre[class*="language-"] *::-moz-selection,
code[class*="language-"] *::-moz-selection {
  background-color: var(--selection) !important;
  color: var(--fg) !important;
}

/* Remove any text shadows and backgrounds from Prism tokens */
[class*="token"] {
  text-shadow: none !important;
  background: none !important;
  background-color: transparent !important;
}

/* Specifically target punctuation and operator tokens */
.token.punctuation,
.token.operator {
  background: none !important;
  background-color: transparent !important;
}

pre[class*="language-"] {
  padding: 0.5rem;
  overflow-x: auto;
  max-height: 180px;
  overflow-y: auto;
  white-space: pre-wrap;
  word-break: break-word;
  margin: 0;
}

/* Dark theme (Dracula Pro) syntax highlighting */
.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: #7970a9 !important;
  font-style: italic;
}

.token.punctuation {
  color: #f8f8f2 !important;
}

.token.property,
.token.tag,
.token.boolean,
.token.number,
.token.constant,
.token.symbol,
.token.deleted {
  color: #bd93f9 !important;
}

.token.selector,
.token.attr-name,
.token.string,
.token.char,
.token.builtin,
.token.inserted {
  color: #50fa7b !important;
}

.token.operator,
.token.entity,
.token.url,
.language-css .token.string,
.style .token.string {
  color: #ff79c6 !important;
}

.token.atrule,
.token.attr-value,
.token.keyword {
  color: #ff79c6 !important;
}

.token.function,
.token.class-name {
  color: #f1fa8c !important;
}

.token.regex,
.token.important,
.token.variable {
  color: #8be9fd !important;
}

.token.important,
.token.bold {
  font-weight: bold;
}

.token.italic {
  font-style: italic;
}

.token.entity {
  cursor: help;
}

/* Light theme (Alucard) syntax highlighting */
body.light-theme .token.comment,
body.light-theme .token.prolog,
body.light-theme .token.doctype,
body.light-theme .token.cdata {
  color: #635d97 !important;
  font-style: italic;
}

body.light-theme .token.punctuation {
  color: #1f1f1f !important;
}

body.light-theme .token.property,
body.light-theme .token.tag,
body.light-theme .token.boolean,
body.light-theme .token.number,
body.light-theme .token.constant,
body.light-theme .token.symbol,
body.light-theme .token.deleted {
  color: #644ac9 !important;
}

body.light-theme .token.selector,
body.light-theme .token.attr-name,
body.light-theme .token.string,
body.light-theme .token.char,
body.light-theme .token.builtin,
body.light-theme .token.inserted {
  color: #036a96 !important;
}

body.light-theme .token.operator,
body.light-theme .token.entity,
body.light-theme .token.url,
body.light-theme .language-css .token.string,
body.light-theme .style .token.string {
  color: #a3144d !important;
}

body.light-theme .token.atrule,
body.light-theme .token.attr-value,
body.light-theme .token.keyword {
  color: #14710a !important;
}

body.light-theme .token.function,
body.light-theme .token.class-name {
  color: #846e15 !important;
}

body.light-theme .token.regex,
body.light-theme .token.important,
body.light-theme .token.variable {
  color: #036a96 !important;
}