:root {
    --color-primary: #333;
    --color-background: #f4f4f4;
    --color-error: #721c24;
    --color-success: #155724;
    --color-border: #ddd;
    --font-mono: Consolas, Monaco, "Courier New", monospace;
}

body {
    margin: 0;
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
    line-height: 1.6;
    color: var(--color-primary);
}

/* Navigation menu */
.menu {
    position: fixed;
    left: 0;
    top: 0;
    width: 400px;
    height: 100vh;
    background-color: var(--color-background);
    padding: 20px;
    box-sizing: border-box;
    overflow-y: auto;
}

.menu a {
    display: block;
    color: var(--color-primary);
    text-decoration: none;
    padding: 8px 12px;
    margin-bottom: 5px;
    border-radius: 3px;
    transition: background-color 0.2s;
}

.menu a:hover {
    background-color: #e0e0e0;
}

.menu a:focus {
    outline: 2px solid var(--color-primary);
    outline-offset: -2px;
}

.menu a.active {
    background-color: var(--color-primary);
    color: white;
}

/* Main content area */
.content {
    margin-left: 400px;
    padding: 20px 40px;
    max-width: 800px;
}

h1, h2, h3, h4, h5, h6 {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    line-height: 1.2;
}

h1 { font-size: 2em; }
h2 { font-size: 1.5em; }
h3 { font-size: 1.2em; }
h4 { font-size: 1.1em; }
h5 { font-size: 1em; }
h6 { font-size: 0.9em; }

code {
    background: var(--color-background);
    padding: 2px 4px;
    border-radius: 3px;
    font-family: var(--font-mono);
    font-size: 0.9em;
}

pre {
    background: var(--color-background);
    padding: 10px;
    border-radius: 5px;
    overflow-x: auto;
    line-height: 1.4;
}

pre code {
    background: none;
    padding: 0;
}

ul, ol {
    padding-left: 1.5em;
}

blockquote {
    border-left: 4px solid var(--color-border);
    margin: 0;
    padding-left: 20px;
    color: #555;
}

table {
    border-collapse: collapse;
    width: 100%;
    margin: 1em 0;
}

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

th {
    background-color: var(--color-background);
    font-weight: bold;
}

/* Verification form styles */
.verification-container {
    max-width: 600px;
    margin: 0 auto;
}

.form-group {
    margin: 20px 0;
}

.form-group label {
    display: block;
    margin-bottom: 5px;
    font-weight: bold;
}

.token-input {
    width: 100%;
    padding: 10px;
    font-family: var(--font-mono);
    font-size: 14px;
    border: 2px solid var(--color-border);
    border-radius: 5px;
    box-sizing: border-box;
}

.token-input:focus {
    outline: none;
    border-color: var(--color-primary);
}

.verify-button {
    background-color: var(--color-primary);
    color: white;
    padding: 10px 20px;
    border: none;
    border-radius: 5px;
    font-size: 16px;
    cursor: pointer;
    transition: background-color 0.2s;
}

.verify-button:hover {
    background-color: #555;
}

.verify-button:active {
    transform: translateY(1px);
}

.verify-button:focus {
    outline: 2px solid var(--color-primary);
    outline-offset: 2px;
}

.result-container {
    margin-top: 30px;
    padding: 20px;
    border-radius: 5px;
}

.result-container.success {
    background-color: #d4edda;
    border: 1px solid #c3e6cb;
}

.result-container.error {
    background-color: #f8d7da;
    border: 1px solid #f5c6cb;
}

.status-message {
    font-size: 18px;
    font-weight: bold;
    margin: 10px 0;
}

.status-message.success {
    color: var(--color-success);
}

.status-message.error {
    color: var(--color-error);
}

.error-details {
    margin-top: 15px;
}

.error-details h3 {
    color: var(--color-error);
    margin-bottom: 10px;
}

.error-details ul {
    color: var(--color-error);
    margin-left: 20px;
}

@media (max-width: 768px) {
    .menu {
        position: static;
        width: 100%;
        height: auto;
        padding: 10px;
        display: flex;
        gap: 10px;
        flex-wrap: wrap;
    }
    
    .menu a {
        display: inline-block;
        margin-bottom: 0;
    }
    
    .content {
        margin-left: 0;
        padding: 20px;
    }
}