.pattern-language-result {
    background-color: #000000;
    border: none;
    border-radius: 4px;
    padding: 1rem;
    line-height: 1.5;
  }  
  #userInput {
    content: "";
    border: 575757;
    background-color: transparent;
    color: white;
  }
.custom-button-color {
    background-color: #a8a8a8; /* Change this value to your desired color */
    border-color: #a8a8a8; /* Change this value to match the background color or to a color of your choice */
}
.custom-button-color:hover {
    background-color: #575757;
    border-color: #575757;
    }
body {
    background-color: black;
    font-family: 'Courier New', monospace;
    color: white;
}
a {
  color: gray;
}