body {
  background-color: #222831;
  color: #EEEEEE;
  font-family: 'Roboto', sans-serif;
  display: flex;
  justify-content: center;
  align-items: flex-start;
  height: 100vh;
  margin: 0;
  padding: 40px; /* Aumentar el padding para más espacio alrededor del contenido */
  box-sizing: border-box;
  overflow: auto;
}

.container {
  background-color: #31363F;
  border-radius: 15px;
  box-shadow: 0 4px 20px rgba(0, 0, 0, 0.2);
  padding: 30px;
  max-width: 800px;
  width: 100%;
  text-align: center;
  margin-top: 20px;
  margin-bottom: 40px; /* Espacio entre el contenedor y el borde inferior */
}

h1, h2 {
  margin: 0;
  padding: 10px 0;
  font-weight: 700;
}

button {
  background-color: #929AAB;
  color: #222831;
  padding: 12px 20px;
  margin: 5px;
  font-size: 16px;
  cursor: pointer;
  border: none;
  border-radius: 5px;
  transition: background-color 0.3s, transform 0.2s;
}

button:hover {
  background-color: #CACACA;
  transform: translateY(-2px);
}

button#trueBtn {
  background-color: #A1DD70;
}

button#falseBtn {
  background-color: #EE4E4E;
}

textarea {
  font-family: 'Roboto', sans-serif;
  width: calc(100% - 20px);
  height: 120px;
  font-size: 16px;
  margin-top: 10px;
  padding: 10px;
  box-sizing: border-box;
  border-radius: 5px;
  border: 1px solid #B0B0B0;
  transition: border-color 0.3s;
}

textarea:focus {
  border-color: #A1DD70;
  outline: none;
}

.button-group {
  margin-top: 10px;
}

.letters-container {
  display: flex;
  justify-content: space-between;
  margin-top: 20px;
}

.letters-container div {
  width: 45%;
  display: flex;
  flex-wrap: wrap;
}

.letters-container button {
  margin: 5px;
}

#latexOutput {
  margin-top: 20px;
  font-size: 18px;
  color: #333;
  padding: 15px;
  background-color: #f9f9f9;
  min-height: 50px;
  border-radius: 5px;
  box-shadow: 0 2px 10px rgba(0, 0, 0, 0.1);
}