$xianyu-theme-red: #d0021b;

@mixin num {
  font-family: DINAlternate-Bold, sans-serif-condensed, sans-serif;
}