Merge pull request #1055 from EnterpriseDB/fix/george/pdf-coding-font

fix: adjust Pandoc CSS to use specified coding font
EnterpriseDB · Mar 11, 2021 · 77562ac · 77562ac
2 parents 0474dfc + af11389
commit 77562ac
Showing 1 changed file with 12 additions and 12 deletions.
diff --git 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 {