/* Global styles */
body {
    font-family: 'Arial', sans-serif;
    line-height: 1.6;
    margin: 0;
    padding: 0;
    color: #333;
    background-color: #f9f9f9;
}

/* Header styles */
header {
    background-color: #4CAF50;
    color: white;
    padding: 20px 15px;
    text-align: center;
}

header h1 {
    margin: 0;
    font-size: 2rem;
}

header p {
    margin: 5px 0 0;
    font-size: 1rem;
    font-style: italic;
}

/* Navigation styles */
nav {
    background-color: #f1f1f1;
    padding: 10px 15px;
    border-bottom: 1px solid #ddd;
}

nav h2 {
    margin: 0 0 10px;
    font-size: 1.5rem;
    color: #333;
}

nav ul {
    list-style-type: none;
    margin: 0;
    padding: 0;
}

nav ul li {
    margin-bottom: 5px;
}

nav ul li a {
    text-decoration: none;
    color: #4CAF50;
    font-weight: bold;
    font-size: 1rem;
}

nav ul li a:hover {
    text-decoration: underline;
}

/* Main content styles */
main {
    padding: 20px 15px;
}

main section {
    margin-bottom: 30px;
    padding: 15px;
    background-color: #ffffff;
    border: 1px solid #ddd;
    border-radius: 5px;
    box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

main section h2 {
    margin-top: 0;
    font-size: 1.6rem;
    color: #2c3e50;
}

main section article {
    margin-top: 10px;
}

main section p {
    margin: 10px 0;
}

/* Highlighted section (for table of contents navigation) */
main section.highlighted {
    border: 2px solid #4CAF50;
    background-color: #e8f5e9;
    transition: background-color 0.3s, border-color 0.3s;
}

/* Footer styles */
footer {
    text-align: center;
    padding: 10px 15px;
    background-color: #4CAF50;
    color: white;
    font-size: 0.9rem;
    position: relative;
    bottom: 0;
    width: 100%;
}

/* Code block styles */
pre {
    background-color: #f4f4f4;
    border: 1px solid #ddd;
    border-radius: 5px;
    padding: 10px;
    overflow-x: auto;
    font-family: 'Courier New', Courier, monospace;
    font-size: 0.9rem;
    margin: 15px 0;
}

code {
    background-color: #f4f4f4;
    padding: 2px 5px;
    border-radius: 3px;
    font-family: 'Courier New', Courier, monospace;
    font-size: 0.9rem;
}

/* Responsive styles */
@media (max-width: 768px) {
    body {
        font-size: 14px;
    }

    header h1 {
        font-size: 1.5rem;
    }

    nav h2 {
        font-size: 1.2rem;
    }

    nav ul li a {
        font-size: 0.9rem;
    }

    main {
        padding: 15px 10px;
    }

    footer {
        font-size: 0.8rem;
        padding: 8px 10px;
    }
}

/* Adjustments for ASCII diagrams */
pre {
    font-size: 1rem;
    line-height: 1.4;
    background-color: #eef;
    color: #333;
    padding: 10px;
    white-space: pre-wrap; /* Allow wrapping for long lines */
}

/* Links inside document */
a {
    color: #4CAF50;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}