/* Reset some default browser styles */
body, h1, h2, ul, li {
    margin: 0;
    padding: 0;
}

/* Set background color and font styles */
body {
    background-color: #f0f0f0;
    font-family: Arial, sans-serif;
}

/* Style the header section */
header {
    background-color: #333;
    color: #fff;
    padding: 10px 0;
    text-align: center;
}

/* Style the main content container */
#holder {
    max-width: 800px;
    margin: 0 auto;
    padding: 20px;
}

/* Style the table of contents */
h1 {
    font-size: 24px;
    margin-top: 20px;
    margin-bottom: 10px;
}

ul.head-menu {
    list-style-type: none;
    margin-left: 0;
    padding-left: 20px;
}

ul.head-menu li {
    margin-bottom: 5px;
}

/* Style links */
a {
    color: #0077cc;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

/* Set font size for specific elements */
font[size="+3"] {
    font-size: 32px;
}

/* Style the header and footer links */
header a, footer a {
    color: #fff;
    text-decoration: none;
    margin: 0 10px;
}

/* Style the footer */
footer {
    background-color: #333;
    color: #fff;
    padding: 10px 0;
    text-align: center;
}

/* Favicon */
link[rel="icon"] {
    width: 32px;
    height: 32px;
}

/* Style the title image */
.title-image {
    max-width: 100%; /* Adjust as needed */
    height: auto; /* Maintain aspect ratio */
    display: block; /* Remove any extra spacing */
    margin: 0 auto; /* Center horizontally */
}

/* Style the logo image */
#logo {
    max-width: 100%; /* Adjust as needed */
    height: auto; /* Maintain aspect ratio */
    display: block; /* Remove any extra spacing */
    margin: 0 auto; /* Center horizontally */
}