body {
  /* background: yellow; */
  margin: 0px;
  padding: 0px;
}

.instr {
  font-family: 'Chakra Petch', Verdana, Tahoma, sans-serif;
}


.shaded {
  background-color: #ddd;
}

.cm-s-ambiance .cm-comment {
  color: #aaa;
}

.CodeMirror-gutter {
  /* Set the background color of the gutter */
  background-color: Silver;
}

.highlighted-line {
  background-color: rgba(33, 255, 33, 0.3);
}

.highlighted-error {
  background-color: rgba(255, 0, 0, 0.3);
  /* rouge avec une opacité de 30% */
}

.comma {
  font-size: 130%;
  color: #927250;
  font-weight: bold;
}

header {
  margin: 0px 0px 30px 0px;
  padding: 0px;

  background: black;
  width: 100%;
  height: 200px;
  text-align: center;
}

header h1 {
  margin: 0px 0px 30px 0px;
  padding: 60px 10px;

  color: #d7c293;
}

a.asm {
  color: #355C88;
}

a.asm:visited {
  color: #355C88;

}

.table td {
  vertical-align: top;
}

.table th {
  vertical-align: top;
}


b {
  font-weight: bold;
}

#error_message {
  width: 100%;
  border: 0px;
  color: #A00000;
  resize: none;
  font-weight: bold;
}

.popup {
  position: absolute;
  display: none;
  padding: 5px;
  background-color: white;
  border: 1px solid #ccc;
  box-shadow: 2px 2px 5px rgba(0, 0, 0, 0.2);
}

[type=button].btn-asm1 {
  color: white;
  background-color: #355C88;
  border-color: #355C88;
}

.btn-asm1 {
  color: white;
  background-color: #355C88;
  border-color: #355C88;
  padding: 0.375rem 0.75rem;
  font-size: 1rem;
  border-radius: 0.25rem;
}

[type=button].btn-asm1:hover {
  color: white;
  background-color: #254C78;
  border-color: #254C78;
}

[type=button].btn-asm2,
.btn-asm2 {
  color: white;
  background-color: #C99D56;
  border-color: #C99D56;
}

.btn-asm2 {
  color: white;
  background-color: #C99D56;
  border-color: #C99D56;
  padding: 0.375rem 0.75rem;
  font-size: 1rem;
  border-radius: 0.25rem;
}

[type=button].btn-asm2:hover {
  color: white;
  background-color: #B98D46;
  border-color: #B98D46;
}

[type=button].btn-asm3 {
  color: white;
  background-color: #5A6451;
  border-color: #5A6451;
}

[type=button].btn-asm3:hover {
  color: white;
  background-color: #4A5441;
  border-color: #4A5451;
}