/* トップページの更新履歴：本文より少し小さい文字で表示 */
.md-typeset .changelog {
  font-size: 0.875em;
}