.default-mark() {
  color: @global-text-mark-color;
  background-color: @global-text-mark-background;
}

mark {
  .default-mark();
}