/* Global styles */
* {
  box-sizing: border-box;
}

body {
  background-color: #ffffff;
  font-family: 'Helvetica', 'Arial', sans-serif;
  margin: 0;
  padding: 20px;
  line-height: 1.6;
}

/* Container for the whole machine section */
#choose-your-machine {
  margin: 20px auto;
  padding: 20px;
  border: 2px solid black;
  border-radius: 8px;
  max-width: 800px;
}

/* Style for paragraphs in the main container */
#choose-your-machine p {
  font-size: 1.1rem;
  margin-bottom: 15px;
}

/* Preformatted text style */
#choose-your-machine pre {
  background-color: #f9f9f9;
  padding: 10px;
  border: 1px dashed black;
  border-radius: 4px;
  overflow-x: auto;
}

/* Styling the machine list and its items */
#machine {
  list-style-type: none;
  padding: 15px;
  margin-top: 15px;
  border: 2px solid black;
  border-radius: 8px;
}

#machine li {
  padding: 10px;
  margin-bottom: 10px;
  border-bottom: 1px solid black;
}

/* Remove the final bottom border for neatness */
#machine li:last-child {
  border-bottom: none;
}

/* Containers generated by JavaScript */
#checkbox-container,
#function-container {
  margin-top: 15px;
  padding: 15px;
  border: 1px solid black;
  border-radius: 4px;
}

/* Style for buttons */
button {
  background-color: #eee;
  border: 1px solid black;
  color: #333;
  padding: 8px 16px;
  margin-top: 10px;
  cursor: pointer;
  border-radius: 4px;
  font-family: inherit;
  transition: background-color 0.3s ease;
}

button:hover {
  background-color: #f2f2f2;
}

/* Style for machine state containers that show results */
.machineState {
  margin: 15px 0;
  padding: 10px;
  border: 2px solid black;
  border-radius: 4px;
}

/* Table styling inside .machineState */
.machineState table {
  width: 100%;
  border-collapse: collapse;
  margin-top: 10px;
}

.machineState th,
.machineState td {
  border: 1px solid black;
  padding: 8px;
  text-align: center;
}