/* Auto-extracted from license_disclaimer.html by refactor */
body {
    background-color: #0d0f14;
    color: #f1f5f9;
    font-family: 'Inter', sans-serif;
}
.notice-label {
    font-family: 'JetBrains Mono', monospace;
    font-size: 11px;
    letter-spacing: .08em;
    text-transform: uppercase;
    border: 1px solid #7f1d1d;
    color: #f87171;
    padding: 4px 12px;
    display: inline-block;
}
.paper-card {
    background-color: #0a0e18;
    border: 1px solid #1e2a3a;
    border-radius: 0.75rem;
    padding: 1.75rem;
    transition: border-color 0.25s ease, transform 0.25s ease;
}
.paper-card:hover {
    border-color: #334155;
}