From 76d4584bcb4dc24f634c1e890546221654efb861 Mon Sep 17 00:00:00 2001 From: George Song Date: Thu, 11 Mar 2021 12:50:34 -0800 Subject: [PATCH] fix: adjust Pandoc CSS to use specified coding font --- scripts/pdf/pdf-styles.css | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/scripts/pdf/pdf-styles.css b/scripts/pdf/pdf-styles.css index cc5d93af27f..7ef55ce70bc 100644 --- a/scripts/pdf/pdf-styles.css +++ b/scripts/pdf/pdf-styles.css @@ -77,29 +77,29 @@ img { /* Code */ -code { - border-radius: .2rem; +pre, code { + font-family: Source Code Pro; + font-weight: normal; padding: .3rem; - color: #457a00; - background-color: #f0f4f7; - white-space: pre-wrap; + border-radius: .2rem; } -pre code { - color: black; - background-color: #f8f8f8; /* match SourceCode pandoc highlighting colors */ +code { + color: #457a00; + background-color: #f0f4f7; white-space: pre-wrap !important; /* SourceCode pandoc will override otherwise */ } pre { - font-family: Source Code Pro; - font-weight: normal; background-color: #f8f8f8; /* match SourceCode pandoc highlighting colors */ - border-radius: .2rem; - padding: .3rem; margin-bottom: 2rem; } +pre code { + color: black; + background-color: #f8f8f8; /* match SourceCode pandoc highlighting colors */ +} + /* Tables */ table {