html,
* {
  box-sizing: border-box;
  font-family: firacode, "microsoft yahei", Arial, Consolas, sans-serif;
}
body {
  font-size: 14px;
  padding-top: 0px;
  font-family: firacode, "microsoft yahei", Arial, Consolas, sans-serif;
}
a {
  text-decoration: none;
  color: #409eff;
}

a:hover {
  color: #0b81fc;
}
#nav {
  background: #000000c0;
  height: 56px;
}
#nav .nav-items {
  width: 1200px;
  margin: auto;
  display: flex;
  align-items: center;
  justify-content: start;
}

#nav .nav-items > a,
#nav .nav-items > span {
  padding: 15px;
  font-size: 16px;
  text-align: center;
  position: relative;
  margin-right: 5px;
}
#nav .nav-items > a,
#nav .nav-items > span > a {
  color: #fff;
  text-align: center;
}
#nav .nav-items > a.nav-item:hover::after,
#nav .nav-items > span.nav-item:hover::after,
#nav .nav-items > a.nav-item.nav-item-hover::after,
#nav .nav-items > span.nav-item.nav-item-hover::after {
  content: " ";
  position: absolute;
  left: 0;
  right: 0;
  bottom: 8px;
  height: 2px;
  background-color: #ccc;
}

.nav-sub-items {
  max-width: 250px;
}
.nav-sub-items > li {
  margin-bottom: 5px;
}

.group-description {
  max-width: 250px;
  margin-bottom: 5px;
}
.contents-container {
  width: 1200px;
  padding-bottom: 20px;
  margin-bottom: 30px;
  margin-top: 10px;
}

.documents > div {
  padding: 10px;
  border-radius: 5px;
  background-color: #f9f9f9;
}

.with-cover {
  display: flex;
  align-items: start;
}
.with-cover > div:first-child {
  margin-right: 15px;
  font-size: 0;
  width: 135px;
  text-align: center;
}

@media screen and (max-width: 500px) {
  .el-menu--horizontal > .el-submenu .el-submenu__title {
    padding: 0 2px;
  }
  .el-menu--horizontal > .el-submenu .el-submenu__icon-arrow {
    margin-left: 3px;
  }
  .contents-container {
    width: 96%;
  }
  .with-cover > div:first-child {
    display: none;
  }
}
@media (prefers-color-scheme: dark) {
  .contents-container.document-detail {
    background-color: #3a3b3c;
    border-radius: 5px;
  }
  #nav,
  .nav-items {
    background-color: #303134 !important;
  }

  .documents > div {
    background-color: #3a3b3c !important;
  }
}