ul {
  list-style-type: none;
  margin: 0;
  padding: 0;
  overflow: hidden;
  background-color: #0950a1;
}

li {
  float: left;

}

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

}

li a:hover {
  background-color: #aca107;
  transition: background-color 0.3s ease;
}

.active {
  background-color: #aca107;
  transition: background-color 0.3s ease;
}

.navtext {
  font-size: 20px;
  font-weight: bold;
  font-family: 'Courier New', Courier, monospace;
  color: rgb(255, 255, 255);
  text-align: right;
}

.end {
  float: right;
  text-align: right;
  font-size: 20px;
  font-weight: bold;
  font-family: 'Courier New', Courier, monospace;
  color: rgb(219, 205, 10);
}

img {
  max-width: 25%;
  height: auto;
  display: block;
}

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

h2 {
  font-size: 24px;
  font-weight: bold;
  color: #0950a1;
  text-align: center;
  margin-top: 20px;
}

input {
  display: block;
  margin: 20px auto;
  padding: 10px;
  font-size: 16px;
  border: 1px solid #ccc;
  border-radius: 4px;
  width: 80%;
  max-width: 400px;
}

button {
  display: block;
  margin: 10px auto;
  padding: 10px 20px;
  font-size: 16px;
  font-weight: bold;
  color: white;
  background-color: #0950a1;
  border: none;
  border-radius: 4px;
  cursor: pointer;
}

button:focus {
  background-color:orange;
}

button:hover {
  background-color: #aca107;
  transition: background-color 0.3s ease;
}

#info-gen,
#info-container-spec,
#info-spec-overview,
#info-spec {
  margin: 20px auto;
  padding: 10px;
  border: 1px solid #ccc;
  border-radius: 4px;
  background-color: #fff;
  width: 80%;
  max-width: 600px;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

.stats {
  background-color: #e8f0fe;
}

.label-text {
  font-weight: bold;
  color: #0950a1;
  text-align: center;
}