@font-face {
  font-family: "JetBrains Mono";
  src: url("/static/font/JetBrainsMono.woff") format("woff"),
  url("/static/font/JetBrainsMono.woff") format("woff2");
}

* {
  margin: 0;
  padding: 0;
  font-weight: normal;
  color: #3f3f3f;
}

a {
  text-decoration: none;
}

a:hover {
  color: #000;
}

html {
  height: 100%;
}

body {
  height: 100%;
  margin: 0 auto;
  width: 75vw;
  background-color: #fafafa;
  font-family: 'Rubik', 'Microsoft Yahei', sans-serif;
  display: flex;
  flex-direction: column;
  justify-content: space-between;
}

.head {
  flex: none;
  text-align: center;
  margin: 2vh auto 0 auto;
}

.head img {
  padding: 5px;
  width: 1em;
  vertical-align: -11px;
}

.head .title {
  margin: 2vh auto;
}

.head .subtitle {
  margin: 2vh auto;
}

.body {
  flex: auto;
  margin: 1vh auto;
  width: 100%;
}

.body .subtitle {
  margin: 1vh auto;
}

.body .description {
  margin: 1vh auto;
}

.body pre {
  display: block;
}

.body pre code {
  padding-left: 15px;
  border-radius: 5px;
  font-family: "JetBrains Mono", monospace;
  font-size: 14px;
}

.footer {
  flex: none;
  text-align: center;
  margin: 2vh auto;
}

@media (max-width: 768px) {
  body {
    width: 99vw;
  }
}