/* ============================================================
   MathMentor — Webfonts.
   NotionInter is a proprietary tuning of Inter. We substitute the
   open-source Inter family from Google Fonts and apply the explicit
   negative tracking from typography.css to approximate Notion's
   display tightness.
   ============================================================ */

@import url("https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&display=swap");