body {
    background-color: black;
    margin: 0;
    padding: 0;
    font-family: Verdana, Geneva, Tahoma, sans-serif;
}

.table-location {
    margin: auto;
}

table {
    width: 100%;
    border-collapse: collapse;
    text-align: center;
}

th, td {
    padding: 8px 12px;
    border: 1px solid #34ce05;
}

th {
    background-color: #4e7bf7; /* Optional background color for headers */
}

ul {
    width: 80%;
    list-style-type: none;
    margin: auto;
    padding: 0;
    background-color: black;
    overflow: hidden;
    text-align: center;
    border: 1px solid red;
}

li {
    display: inline-block;
}

li a {
    display: block;
    color: white;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
}

li a:hover {
    background-color: rgb(32, 32, 32);
}

.mainframe {
    box-sizing: border-box;
    background-color: #4d3131;
    padding: 5px;
    margin: auto;
    border: 1px solid red;
    width: 80%;
    height: 100%;
    color: white;
}

.function_result {
    color: black;
    border: 2px dashed red;
    background-color: darkorange;
    padding: 5px;
    margin: 5px;
}

#header_image {
    width: 80%;
    max-height: 150px;
    object-fit: cover;
    object-position: center 67%;
    display: block;
    margin: auto;
    border: 1px solid red;
}

a {
    color: rgb(35, 187, 238);
    text-decoration: underline;
}