@charset "UTF-8";
@font-face {
    font-family: "Old Claude W01 ExpertLP";
    src: url("/fonts/OldClaudeLP-Regulareot");
    src: url("/fonts/OldClaudeLP-Regulareot?#iefix")format("embedded-opentype"),
        url("/fonts/OldClaudeLP-Regular.woff")format("woff"),
        url("/fonts/OldClaudeLP-Regular.woff2")format("woff2"),
        url("/fonts/OldClaudeLP-Regular.ttf")format("truetype"),
        url("/fonts/OldClaudeLP-Regular.svg#Old Claude W01 ExpertLP")format("svg");
    font-weight:normal;
    font-style:normal;
    font-display:swap;
}
@font-face {
    font-family: "Ubuntu Mono";
    src: url("/fonts/UbuntuMono-R.ttf");
    font-weight:normal;
    font-style:normal;
    font-display:swap;
}
@font-face {
    font-family: "Ubuntu";
    src: url("/fonts/Ubuntu-R.ttf");
    font-weight:normal;
    font-style:normal;
    font-display:swap;
}
@font-face {
    font-family: "Courier New";
    src: url("/fonts/Courier New.ttf");
    font-weight:normal;
    font-style:normal;
    font-display:swap;
}