// 优化显示

html, body {
  margin: 0px;
  height: 100%;
  background-color: $color-bg;
  font-family: "Arial", "Microsoft YaHei", "黑体", "宋体", sans-serif;
  #app {
    height: 100%;
  }
}

pre {
  margin: 0px;
  border-radius: 4px;
}

a {
  text-decoration: none;
}