diff --git a/emacs/dist/code.css b/emacs/dist/code.css index 281545e..411905c 100644 --- a/emacs/dist/code.css +++ b/emacs/dist/code.css @@ -1,7 +1,6 @@ pre { border-radius: 3px; padding: 8pt; - font-family: monospace; overflow: auto; margin: 1.2em; diff --git a/emacs/dist/tufte.css b/emacs/dist/tufte.css index 3306124..6916639 100644 --- a/emacs/dist/tufte.css +++ b/emacs/dist/tufte.css @@ -8,6 +8,16 @@ /* Import ET Book styles adapted from https://github.com/edwardtufte/et-book/blob/gh-pages/et-book.css */ +/* @font-face { */ +/* font-family: "Hasklug"; */ +/* src: */ +/* url("./HasklugNerdFont-Regular.woff2") */ +/* format("woff2"); */ +/* font-weight: normal; */ +/* font-style: normal; */ +/* font-display: swap; */ +/* } */ + @font-face { font-family: "NerdFontsSymbols Nerd Font"; src: url("https://raw.githubusercontent.com/ryanoasis/nerd-fonts/master/patched-fonts/NerdFontsSymbolsOnly/SymbolsNerdFont-Regular.ttf"); @@ -95,7 +105,7 @@ body { margin-right: auto; padding-left: 12.5%; font-family: et-book, Palatino, "Palatino Linotype", "Palatino LT STD", - "Book Antiqua", Georgia, serif, "NerdFontsSymbols Nerd Font"; + "Book Antiqua", Georgia, serif, "NerdFontsSymbols Nerd Font"; background-color: var(--dark-bg); color: var(--dark-fg); max-width: 1400px; @@ -409,17 +419,20 @@ table.fullwidth { div.table-wrapper { overflow-x: auto; - font-family: "Trebuchet MS", "Gill Sans", "Gill Sans MT", sans-serif; + font-family: "Trebuchet MS", "Gill Sans", "Gill Sans MT", sans-serif, "NerdFontsSymbols Nerd Font"; } .sans { - font-family: "Gill Sans", "Gill Sans MT", Calibri, sans-serif; + font-family: "Gill Sans", "Gill Sans MT", Calibri, sans-serif, "NerdFontsSymbols Nerd Font"; letter-spacing: 0.03em; } code, -pre > code { - font-family: Hasklig, Consolas, "Liberation Mono", Menlo, Courier, monospace; +pre { + font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace, NerdFontsSymbols Nerd Font; +} + +pre { font-size: 1rem; line-height: 1.42; -webkit-text-size-adjust: 100%; /* Prevent adjustments of font size after orientation changes in iOS. See https://github.com/edwardtufte/tufte-css/issues/81#issuecomment-261953409 */