style,
body {
    font-family: Arial, sans-serif;
    margin: 0;
    padding: 0;
    background-color: #f4f9f9;
    color: #333;
}

header {
    background-color: lightsteelblue;
    color: black;
    padding: 20px;
    text-align: center;
    height: 45px;

}

nav {
    background-color: #01426a;
    padding: 10px;
    text-align: center;
    position: fixed;
    z-index: 100;
    width: 100%;
    top: 0;
}

nav a {
    color: white;
    margin: 0 15px;
    text-decoration: none;
    font-weight: bold;

}

.dropdown {
    position: relative;
    display: inline-block;
}

.dropdown-content {
    display: none;
    position: absolute;
    background-color: #017bb5;
    min-width: 200px;
    box-shadow: 0px 8px 16px rgba(0, 0, 0, 0.2);
    z-index: 1;
}

.dropdown-content a {
    color: white;
    padding: 10px 15px;
    text-decoration: none;
    display: block;
    text-align: left;
}

.dropdown-content a:hover {
    background-color: #f1f1f1;
}

.dropdown:hover .dropdown-content {
    display: block;
}

.banner {
    background: url('../figure/homepage/banner.jpg') no-repeat center center/cover;
    height: 300px;
    display: flex;
    justify-content: center;
    align-items: center;
    color: white;
    text-shadow: 2px 2px 4px #000;
    font-size: 24px;
    font-weight: bold;
}

.features {
    display: flex;
    justify-content: space-around;
    padding: 20px;
}

.features div {
    width: 30%;
    background-color: #e0f7fa;
    border-radius: 8px;
    padding: 20px;
    text-align: center;
    box-shadow: 0 4px 8px rgba(0, 0, 0, 0.1);
}

body {
    font-family: Arial, sans-serif;
    line-height: 1.6;
    margin: 0;
    padding: 0;
    background-color: #f4f4f4;
    color: #333;
}

.container,
.comment-box,
.comments{
    width: 75%;
    margin: 0 auto;
    max-width: 1200px;
}
.comment-box {
    width: 75%;
    margin: 0 auto;
    max-width: 1200px;
}

/* Fixed left navigation styling */
.left-nav {
    position: fixed;
    top: 50%;
    left: 0;
    transform: translateY(-50%);
    background-color: #01426a;
    width: 120px;
    box-shadow: 2px 0 5px rgba(0, 0, 0, 0.1);
    padding: 10px 0;
}

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

.left-nav ul li {
    margin: 10px 0;
}

.left-nav ul li a {
    text-decoration: none;
    color: white;
    display: block;
    padding: 10px;
    text-align: center;
    font-size: 12px;
    border-radius: 4px;
    transition: background-color 0.3s, color 0.3s;
}

.left-nav ul li a:hover {
    background-color: #007bff;
    color: #fff;
}

.example,
.mechanism {
    background-color: lightsteelblue;
    width: 90%;
    position: relative;
    left: 5%;
    right: 5%;
}
thead{
    background-color: lightgray;
}
table,
tr,
td {
    text-align: center;
    text-decoration-color: black;
    border: 1px solid black;
    border-collapse: collapse;


}
h3 {
    background-color: lightsteelblue;
}

h4 {
    background-color: lightsteelblue;
}

hr {
    border: 2px solid #01426a;
    border-radius: 5px;
}

hr.hr2 {
    border: 2px dashed black;
    width: 80%;
}

li {
    font-weight: bold;
}





img {
    display: block;
    text-align: center;
    margin: auto;
    border: 1px solid gray;

}

footer {
    background-color: #01426a;
    color: white;
    text-align: center;
    padding: 10px;
    margin-top: 20px;
    }

/* Go to top button */
#goToTopBtn {
    position: fixed;
    bottom: 120px;
    right: 20px;
    background-color: #333;
    color: #fff;
    border: none;
    padding: 10px;
    border-radius: 5px;
    cursor: pointer;
    box-shadow: 0 0 10px rgba(0, 0, 0, 0.1);
}

#goToTopBtn:hover {
    background-color: #555;
}
.comment-box {
    margin-bottom: 20px;
}

textarea {
    width: 100%;
    height: 100px;
    padding: 10px;
    font-size: 16px;
}

button {
    padding: 10px 20px;
    font-size: 16px;
    background-color: #007BFF;
    color: white;
    border: none;
    border-radius: 5px;
    cursor: pointer;
}

button:hover {
    background-color: #0056b3;
}

.comments {
    margin-top: 20px;
}

.comment {
    padding: 10px;
    border: 1px solid #ddd;
    border-radius: 5px;
    margin-bottom: 10px;
    background-color: #f9f9f9;
}

style