/*
 * Custom CSS for Formal Ledger Specifications
 *
 * This file contains auto-generated Agda class styles (from Agda.css)
 * and project-specific customizations.
 */

/* ======================================================================= */
/* AUTO-GENERATED AGDA CLASSES (from Agda.css)                        */
/* ======================================================================= */

code.AgdaBackground {
    
}
code.AgdaBound {
    color: black
}
code.AgdaCoinductiveConstructor {
    color: #8B7500
}
code.AgdaComment {
    color: #B22222
}
code.AgdaDatatype {
    color: #0000CD
}
code.AgdaDeadcode {
    color: black; background: #808080
}
code.AgdaDottedPattern {
    
}
code.AgdaError {
    color: red; text-decoration: underline
}
code.AgdaField {
    color: #EE1289
}
code.AgdaFunction {
    color: #0000CD
}
code.AgdaGeneralizable {
    color: black
}
code.AgdaHole {
    background: #B4EEB4
}
code.AgdaIncompletePattern {
    color: black; background: #F5DEB3
}
code.AgdaInductiveConstructor {
    color: #008B00
}
code.AgdaKeyword {
    color: #CD6600
}
code.AgdaMacro {
    color: #0000CD
}
code.AgdaMarkup {
    color: #000000
}
code.AgdaModule {
    color: #A020F0
}
code.AgdaNumber {
    color: #A020F0
}
code.AgdaOperator {
    
}
code.AgdaPostulate {
    color: #0000CD
}
code.AgdaPragma {
    color: black
}
code.AgdaPrimitive {
    color: #0000CD
}
code.AgdaPrimitiveType {
    color: #0000CD
}
code.AgdaRecord {
    color: #0000CD
}
code.AgdaShadowingInTelescope {
    color: black; background: #808080
}
code.AgdaString {
    color: #B22222
}
code.AgdaSymbol {
    color: #404040
}
code.AgdaTerminationProblem {
    color: black; background: #FFA07A
}
code.AgdaTypeChecks {
    color: black; background: #ADD8E6
}
code.AgdaUnsolvedConstraint {
    color: black; background: yellow
}
code.AgdaUnsolvedMeta {
    color: black; background: yellow
}

/* ======================================================================= */
/* PROJECT-SPECIFIC STYLES                                            */
/* ======================================================================= */

/* docs/css/custom.css */

/* ======================================================================= */
/* PROJECT-SPECIFIC STYLES                                            */
/* ======================================================================= */

/* Base style for inline Agda terms (optional, theme might cover) */
code {
  /* font-family: 'Your Mono Font', monospace; */ /* Example if needed */
  /* Add other common styles if necessary */
}

code.test-class { color: red; font-weight: bold; border: 1px solid red; }

/* Style for hldiff placeholder */
span.highlight {
  background-color: yellow;
  padding: 0.1em 0.2em; /* Add slight padding */
  border-radius: 3px; /* Optional rounded corners */
}

/*
 * Adjust the font size of Agda code blocks to be slightly smaller
 * than the surrounding prose for better visual balance.
 */
pre.Agda {
  font-size: 85%;
}

pre.Agda.hidden-source {
  display: none; /* Hidden by default */
}

body.reveal-agda-source pre.Agda.hidden-source {
  display: block; /* Shown when body has the class */
}



/* Style for inline code snippets */
:not(pre) > code {
  background-color: rgba(245, 158, 11, 0.1); /* Light amber background */
  color: #B45309; /* Darker amber text */
  padding: 0.2em 0.4em;
  border-radius: 4px;
 }


/* ======================================================================= */
/* Style for the dynamically-injected 'Show more Agda' button in the header. */

/*
 * A more refined style for the 'Show Agda' toggle button in the header.
 */
#toggle-agda-source {
  display: inline-flex; /* Use flexbox for robust vertical alignment of icon and text. */
  align-items: center; /* Vertically centers the icon and text with each other. */

  /* --- CONTROLS ICON POSITION --- */
  /* This is the modern and reliable way to control space between flex items. */
  /* Increase this value to add more space between the text and the icon. */
  /* Try 0.5em for more space. */
  gap: 0.4em;

  /* --- CONTROLS BUTTON SIZE --- */
  /* This is the primary control for the button's overall size. */
  /* It sets the size of the text, and other elements scale relative to it. */
  /* Try changing this to 0.7rem or 0.8rem to make the button smaller. */
  font-size: 0.6rem;

  /* --- CONTROLS BUTTON SIZE --- */
  /* This controls the space around the text and icon, affecting button size. */
  /* The first value is top/bottom padding, the second is left/right. */
  /* Try changing this to "0.2rem 0.6rem" for a smaller button. */
  padding: 0.2rem 0.6rem;

  /* Sizing and Positioning */
  margin-left: 0.8rem; /* Space between this button and the element to its left. */
  border: 1px solid transparent; /* Transparent border prevents a size jump on hover. */
  border-radius: 9999px; /* Creates the "pill" shape. */

  /* Typography */
  font-family: "Roboto", -apple-system, BlinkMacSystemFont, Helvetica, Arial, sans-serif; /* Explicitly sets a clean, sans-serif font. */
  font-weight: 500; /* A medium font weight. */
  line-height: 1.25; /* Adjusts the space between lines of text if it wraps. */
  color: var(--md-default-fg-color--light); /* Sets the text color using a theme variable. */
  background-color: var(--md-default-bg-color--light); /* Sets the background color using a theme variable. */

  /* Interactivity & Effects */
  cursor: pointer; /* Shows a hand cursor on hover. */
  transition: all 0.2s ease-in-out; /* Makes all property changes (like color, shadow) smooth. */
  box-shadow: 0 6px 10px rgba(0,0,0,0.5); /* A subtle shadow to lift the button off the page. */
}

/* Hover state: subtle color change and lift */
#toggle-agda-source:hover {
  /* color: var(--md-primary-fg-color); /\* Changes text color on hover. *\/ */
  background-color: var(--md-primary-fg-color--lightest); /* Changes background on hover. */
  border-color: var(--md-primary-fg-color--light); /* Makes the border visible on hover. */
  transform: translateY(-1px); /* Lifts the button slightly. */
  box-shadow: 0 1px 2px rgba(0,0,0,0.05); /* Increases the shadow on hover. */
}

/* Active/click state */
#toggle-agda-source:active {
  transform: translateY(0); /* Resets the lift effect when clicked. */
  box-shadow: 0 1px 2px rgba(0,0,0,0.05); /* Resets the shadow when clicked. */
}
/*
 * Style for the SVG icon inside the Agda toggle button.
 */
.agda-logo-icon {
  /* Sizing */
  width: 1.1em; /* Icon width is relative to the button's font-size. */
  height: 1.1em; /* Icon height is relative to the button's font-size. */
  color: #888888;

  /* The 'gap' property on the parent button now controls spacing, so no margin is needed here. */
}