.mining {
  @import "interactive-mining.css";
  @import "animations.css";
}