/* Set a modern font */
body {
  font-family: "Roboto", sans-serif;
  padding: 20px;
}

/* Add a modern color scheme */
body {
  background-color: #d3d3d3;
  color: #333333;
}

/* Add some spacing and alignment */
.container {
  max-width: 1200px;
  margin: 0 auto;
  padding: 20px;
}

/* Add a modern header */
header {
  background-color: #ffffff;
  padding: 20px;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
}

/* Add modern typography */
h1 {
  font-size: 32px;
  font-weight: bold;
  margin-bottom: 20px;
}

p {
  font-size: 16px;
  line-height: 1.5;
  margin-bottom: 10px;
}

/* Add modern buttons */
.button {
  display: inline-block;
  padding: 10px 20px;
  background-color: #007bff;
  color: #ffffff;
  text-decoration: none;
  border-radius: 4px;
  border: none;
  transition: background-color 0.3s ease;
}

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

/* textarea {
    width: 80%;
    padding: 10px;
    margin-bottom: 10px;
    border-radius: 4px;
    border: 1px solid #cccccc;
    resize: none;
} */

.CodeMirror {
  text-align: left;
  width: 80%;
  border-radius: 8px;
  height: auto !important;
  margin: 30px 0;
}

.CodeMirror-scroll {
  min-height: 100px;
  max-height: 70vh;
}

.CodeMirror-gutters {
  background-color: #d3d3d3 !important;
}

.button-container {
  justify-content: space-between;
  margin-left: 40px;
  margin-bottom: 50px;
}

.output {
  width: calc(80% - 32px);
  padding: 10px;
  margin: 20px 0 20px 32px;
  border-radius: 4px;
  border: 1px solid #cccccc;
  resize: none;
  height: 100px;
}

.nav-left {
  height: 100%;
  width: 200px;
  position: fixed;
  z-index: 1;
  top: 0;
  left: 0;
  overflow-x: hidden;
  padding-top: 40px;
  padding-left: 30px;
  line-height: 25px;
}

.main {
  margin-left: 200px;
  width: 80%;
}
a {
    color:#0056b3;
}


@media screen and (max-width: 900px) {
  .nav-left {
    display: none;
  }
  .main {
    margin-left: 0;
  }
}

.indent {
    margin-left: 20px;
}