diff --git a/frontend/editor.css b/frontend/editor.css index 9f4983f88b..ab8bcbec5f 100644 --- a/frontend/editor.css +++ b/frontend/editor.css @@ -112,7 +112,7 @@ pluto-notebook { /* (can be overriden by custom style) */ pluto-output { - font-family: "Alegreya Sans", sans-serif; + font-family: "Alegreya Sans", "Trebuchet MS", sans-serif; font-size: 1em; font-weight: 400; color: var(--pluto-output-color); @@ -124,7 +124,7 @@ pluto-output h3, pluto-output h4, pluto-output h5, pluto-output h6 { - font-family: "Vollkorn", serif; + font-family: "Vollkorn", Palatino, serif; font-feature-settings: "lnum", "pnum"; font-weight: 600; color: var(--pluto-output-h-color); @@ -312,7 +312,7 @@ pluto-output div.admonition { margin-block-end: 1em; } pluto-output div.admonition .admonition-title { - font-family: "Vollkorn", sans-serif; + font-family: "Vollkorn", Palatino, sans-serif; font-feature-settings: "lnum", "pnum"; color: var(--admonition-title-color); font-weight: 600; @@ -600,7 +600,7 @@ div.export_title { } a.export_card header { margin-block: 0px; - font-family: "Vollkorn", sans; + font-family: "Vollkorn", Palatino, sans-serif; /* font-family: system-ui; */ font-feature-settings: "lnum", "pnum"; font-size: 1rem; diff --git a/frontend/index.css b/frontend/index.css index 562862c38a..d4c9d62865 100644 --- a/frontend/index.css +++ b/frontend/index.css @@ -21,7 +21,7 @@ html { font-size: 2em; letter-spacing: 0.08em; font-weight: 500; - font-family: "Vollkorn", serif; + font-family: "Vollkorn", Palatino, serif; color: var(--pluto-output-h-color); margin: 0px; padding: 4rem 1rem 3rem 1rem;