/* 1772778550.7182 */
html {
  font-size: 140%;
}