#json-nav {
  width: 100%;
  padding: 10px;
  overflow: hidden;
  text-align: center;
}

#json-nav a {
  display: inline-block;
  width: 52px;
  font-size: 16px;
  font-weight: bold;
  margin-right: 10px;
  text-decoration: none;
}

#json-nav i {
  padding: 0;
  margin: 0;
  font-size: 24px;
  line-height: 40px;
}

#json-nav span {
  display: block;
  font-size: 12px;
}

#json-src {
  height: 100%;
  height: 88vh;
  min-height: 600px;
  padding: 10px 10px 10px 30px;
  font-size: 12px;
  line-height: 20px;
  background: #fdfdff;
  border: solid 1px #eee;
  -webkit-border-radius: 0;
  border-radius: 0;
  outline: none;
  resize: none;
}

#line-num {
  position: absolute;
  top: 0;
  left: 0;
  display: none;
  width: 30px;
  height: 100%;
  padding: 10px 0;
  overflow: hidden;
  color: #999;
  text-align: center;
  background-color: #fafafa;
  border-right: 1px dashed #eee;
}

#line-num>div {
  line-height: 20px;
}

#json-box {
  position: relative;
  width: 100%;
  height: 88vh;
  min-height: 600px;
  overflow-y: auto;
  background: #fcfcfc;
  border: solid 1px #eee;
}

#json-box-inner {}

#json-target {
  position: relative;

  /* height: 100%; */
  padding: 10px 10px 10px 30px;
  font-size: 12px;
  line-height: 20px;
  word-break: break-all;

  /* width: 100%; */
  white-space: pre-line;
}