.txt-green[data-v-b1e45400] {
  color: #0fb70f;
}
.txt-red[data-v-b1e45400] {
  color: red;
}
.table-operator[data-v-b1e45400]{
  margin-bottom: 10px;
}