.txt-main {
  color: #d9534f;
  font-weight: bold;
}

.txt-special {
  color: #fd7e14;
  font-weight: bold;
}

.txt-highlight {
  color: #28a745;
  font-weight: bold;
}

.txt-operation {
  background-color: #f8d7da;
  color: #721c24;
  padding: 2px 6px;
  border-radius: 4px;
  font-size: 0.9em;
  font-family: monospace;
  font-weight: bold;
}

.txt-basic {
  color: #c49e04;
  font-weight: bold;
}