/* Font assets copied unmodified from the user-supplied workbench ZIP.
   Aliases avoid changing unrelated applications. */
@font-face{font-family:"Muse Ref Noto";src:url("fonts/NotoSansSC.ttf") format("truetype");font-style:normal;font-weight:100 900;font-display:swap}
@font-face{font-family:"Muse Ref Inter";src:url("fonts/inter-400.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap}
@font-face{font-family:"Muse Ref Mono";src:url("fonts/jetbrains-mono-400.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap}
@font-face{font-family:"Muse Ref Inter";src:url("fonts/inter-500.woff2") format("woff2");font-style:normal;font-weight:500;font-display:swap}
@font-face{font-family:"Muse Ref Mono";src:url("fonts/jetbrains-mono-500.woff2") format("woff2");font-style:normal;font-weight:500;font-display:swap}
@font-face{font-family:"Muse Ref Inter";src:url("fonts/inter-600.woff2") format("woff2");font-style:normal;font-weight:600;font-display:swap}
@font-face{font-family:"Muse Ref Mono";src:url("fonts/jetbrains-mono-600.woff2") format("woff2");font-style:normal;font-weight:600;font-display:swap}
@font-face{font-family:"Muse Ref Inter";src:url("fonts/inter-700.woff2") format("woff2");font-style:normal;font-weight:700;font-display:swap}
@font-face{font-family:"Muse Ref Mono";src:url("fonts/jetbrains-mono-700.woff2") format("woff2");font-style:normal;font-weight:700;font-display:swap}