*,
*::before,
*::after {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

body {
    font-family: Arial, sans-serif;
    background-color: #f9f9f9;
    color: #333;
    display: flex;
    flex-direction: column;
    min-height: 100vh;
}

.diagnostic {
    border: 0px solid red; /* Diagnostic border */
}

/* Header */
header {
    background-color: #007acc;
    color: #fff;
    padding: 20px;
    text-align: center;
    width: 100%;
}

/* Navigation */
nav {
    background-color: #333;
    padding: 10px;
    width: 100%;
}

nav ul {
    display: flex;
    justify-content: center;
    list-style: none;
}

nav li {
    margin: 0 15px;
}

nav a {
    color: #fff;
    text-decoration: none;
}

/* Main Content */
main {
    flex: 1;
    padding: 20px;
    max-width: 800px;
    margin: 0 auto;
}

h2 {
    color: #007acc;
}

pre {
    background-color: #f3f4f6;
    padding: 10px;
    border-left: 4px solid #007acc;
    overflow-x: auto;
}

/* Footer */
footer {
    text-align: center;
    padding: 10px;
    background-color: #f3f4f6;
    color: #666;
    width: 100%;
}

/* Search Page */
.results {
    margin-top: 20px;
    border-top: 1px solid #ccc;
    padding-top: 20px;
    display: flex;
    flex-direction: column;
    gap: 15px;
}

.search_result {
    padding: 15px;
    border: 1px solid #ddd;
    border-radius: 5px;
    background-color: #fff;
}

.search_result .result_title {
    font-size: 1.2em;
    font-weight: bold;
    margin-bottom: 8px;
    color: #007acc;
    text-decoration: none;
}

.search_result .result_title:hover {
    text-decoration: underline;
}

.search_result .result_link {
    color: #007acc;
    font-size: 0.9em;
    text-decoration: none;
}

.search_result .result_link:hover {
    text-decoration: underline;
}

.no_results {
    text-align: center;
    color: #999;
    font-style: italic;
}