@font-face {
  font-family: "JetBrains Mono";
  src: url("../fonts/JetBrainsMono-Regular.woff2") format("truetype");
  /* Add additional formats if necessary */
}

body {
  background-color: #111a20;
  font-family: "JetBrains Mono", sans-serif;
  color: #ffffff;
  margin-bottom: 100px;
}

/* To put the bar below the selected option */
.main-menu {
  border-bottom: 2px solid #1c2c35;
}

.footer {
  border-top: 2px solid #1c2c35;
  margin-top: 30px;
}

/* Styles for buttons */

.button-text-size {
  font-size: 13px;
}

.btn-main-div {
  margin-top: 35px;
}

/* End style for buttons*/

/* Styles for modals */
.modal-content {
  background-color: #1c2c35;
}
/* End styles for modals */

.green-letters {
  color: #03FF69;
}

.CodeMirror {
  border-radius: 10px;  
}