body {
  color: #505050;
  background: whitesmoke;
}
h1 {
  position: relative;
  color: skyblue;
  line-height: 1.4;
  -webkit-box-reflect: below -30px -webkit-linear-gradient(top,rgba(0,0,0,0),rgba(0,0,0,0) 10%,rgba(0, 0, 0, 0.6));
}
.taoco {
  top: 130px;
  display: none;
  z-index:2;
}
#toc_disp_button {
  top: 95px;
  right: 20px;
  padding-left: 5px;
  padding-right: 5px;
  background: whitesmoke;
  position: fixed;
  border: 1px solid #ddd;
  color: #333;
  opacity: 0.5;
  text-align: center;
  font-weight:550;
  border-radius: 5px;
  -webkit-user-select: none;
  -moz-user-select: none;
  -ms-user-select: none;
  user-select: none;
  font-size:smaller;
  z-index:2;
}
header h1:before {
  content: "";
}
header h1:before {
  content: "";
  margin-right: 8px;
}
.nav a,
.nav a:hover,
.nav a:active,
.nav a:visited {
  border-radius: 6px;
  padding: 0 15px 1px;
  color: lightgray;
  text-decoration: none;
}
.nav li:hover > a,
.nav li.nav-active > a {
  color: gray;
  background: #2E2722;
}
.btn-right-radius {
  position: relative;
  display: inline-block;
  font-weight: bold;
  padding: 0.25em 0.5em;
  text-decoration: none;
  color: #00BCD4;
  background: #E7E7E7;
  border-radius: 0 15px 15px 0;
  transition: .4s;
}
.btn-right-radius:hover {
  background: #636363;
}