.header__logo{text-decoration: none;}
a.header__logo span{color: #107CC0;}
@media (min-width: 769px) {
a.header__logo span{margin-left: 0.8rem; font-size: 3.2rem; line-height: 1.0; font-weight: bold;}
}
@media (max-width: 768px) {
a.header__logo span{margin-left: 0.8rem; font-size: 2.2rem; line-height: 1.0; font-weight: bold;}
}
div .product_toc {margin: 0 0 2.4rem;}
div .product_toc ul li {margin: 0 0 0;}
.date-modified {
  text-align: right;
  font-size: 1.4rem;
  color: #8E9EA8;}