/* This file is used to style the Agda codeblock footer. */

/* Agda label with check mark */
pre.Agda::after {
    font-family: var(--md-code-font-family, monospace);
    content: "Agda 2.7.0.1";
    font-size: 11px;
    color: var(--md-agda-codeblock-footer, #666);
    position: absolute;
    top: 0.5em;
    right: 0.5em;
    z-index: 1;
}

/* Ensure Agda pre elements have relative positioning */
pre.Agda {
    position: relative;
}

/* Inline Agda reference styling */
.agda-ref {
    font-family: var(--md-code-font-family, monospace);
    background-color: var(--md-code-bg-color, #f5f5f5);
    padding: 0.1em 0.3em;
    border-radius: 0.2em;
    font-size: 0.9em;
    text-decoration: none;
    border: 1px solid var(--md-default-fg-color--lightest, #ddd);
    transition: all 0.2s ease;
}

.agda-ref:hover {
    background-color: var(--md-accent-fg-color--transparent, rgba(0, 100, 200, 0.1));
    border-color: var(--md-accent-fg-color, #0064c8);
    text-decoration: none;
}

/* Different colors for different symbol types */
.agda-ref.agda-datatype {
    border-left: 3px solid var(--md-primary-fg-color, #1976d2);
}

.agda-ref.agda-function {
    border-left: 3px solid #4caf50;
}

.agda-ref.agda-function-operator {
    border-left: 3px solid #ff9800;
}

.agda-ref.agda-inductiveconstructor {
    border-left: 3px solid #9c27b0;
}

.agda-ref.agda-module {
    border-left: 3px solid #795548;
    font-weight: bold;
}

.agda-ref.agda-primitive {
    border-left: 3px solid #f44336;
}

/* Unresolved reference styling */
.agda-ref-unresolved {
    font-family: var(--md-code-font-family, monospace);
    background-color: #ffebee;
    color: #c62828;
    padding: 0.1em 0.3em;
    border-radius: 0.2em;
    font-size: 0.9em;
    border: 1px dashed #ef5350;
}