html {
  font-size: 88%;
}

/*# sourceMappingURL=font_small.css.map */