@import url("/webfonts/Iosevka-SS03-24.1.1/iosevka-ss03.css");
@import url("/webfonts/HarmonyOS_Sans_SC/harmonyos_sans_sc.css");
@import url('https://fonts.googleapis.com/css2?family=Noto+Color+Emoji&display=swap');

body {
  font-family: 'Iosevka SS03 Web', 'HarmonyOS_Sans_SC', 'Noto Color Emoji', sans-serif;
  font-size: 1.25em;
  max-width: 1000px !important;
}
code {
  font-family: 'Iosevka SS03 Web', 'HarmonyOS_Sans_SC', 'Noto Color Emoji', monospace;
}
sup { vertical-align: top; position: relative; top: -0.5em; }