/* فونتِ پنلِ وب‌سرویس — تنها نقطهٔ تعریف (نامِ خانوادهٔ خنثی: AppFont).
   فعلاً: ایران‌سنس ایکس Dot4 با ارقامِ فارسی (FaNum) — انتخابِ صاحب پروژه، پروانهٔ fontiran.
   عوض‌کردنِ فونت = فقط فایل‌های assets/fonts/app/ و همین فایل؛ بقیهٔ کد فقط «AppFont» را می‌شناسد.
   build.py این @font-face ها را در ws-shell.css هم می‌گذارد. */
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 100; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-ThinD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 200; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-UltraLightD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 300; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-LightD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 400; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-RegularD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 500; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-MediumD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 600; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-DemiBoldD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 700; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-BoldD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 800; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-ExtraBoldD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 900; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-BlackD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 950; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-ExtraBlackD4.woff2') format('woff2'); }
@font-face { font-family: 'AppFont'; font-style: normal; font-weight: 1000; font-display: swap;
  src: url('/assets/fonts/app/IRANSansXFaNum-HeavyD4.woff2') format('woff2'); }