@font-face { font-family: Manrope; src: url("fonts/manrope-latin.woff2") format("woff2"); font-weight: 200 800; font-display: swap; }
@font-face { font-family: "DM Mono"; src: url("fonts/dm-mono-400-latin.woff2") format("woff2"); font-weight: 400; font-display: swap; }
:root { --md-primary-fg-color: #163e70; --md-accent-fg-color: #1686d9; --md-default-fg-color: #20384c; --md-default-fg-color--light: #20384c; --md-default-fg-color--lighter: #20384c; --md-code-fg-color: #20384c; --md-code-hl-comment-color: #20384c; --md-text-font: Manrope, Arial, sans-serif; --md-code-font: "DM Mono", monospace; }
html[data-theme="dark"] body { --md-default-bg-color: #081a28; --md-default-fg-color: #edf7ff; --md-default-fg-color--light: #edf7ff; --md-default-fg-color--lighter: #edf7ff; --md-code-bg-color: #183448; --md-code-fg-color: #edf7ff; --md-code-hl-comment-color: #edf7ff; --md-code-hl-name-color: #edf7ff; --md-typeset-color: #edf7ff; --md-typeset-a-color: #69c5ff; --md-accent-fg-color: #69c5ff; }