Use IBM Plex font

cxharris · cxharris · commit 386c9fc850a5 · 2019-06-05T15:27:30.000+01:00
diff --git a/docs/_includes/head.html b/docs/_includes/head.html
@@ -16,6 +16,11 @@
 <!-- most color styles are extracted out to here -->
 <link rel="stylesheet" href="css/theme-blue.css">
 
+<!-- Added by C Harris on 5th June 2019 -->
+<style>
+    @import url('https://fonts.googleapis.com/css?family=IBM+Plex+Sans&display=swap');
+</style>
+
 <script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script>
 
 <!-- Added by C Harris on 1st May 2019 - used for code copying buttons -->
diff --git a/docs/css/customstyles.css b/docs/css/customstyles.css
@@ -1,4 +1,5 @@
 body {
+    font-family: 'IBM Plex Sans', sans-serif;
     font-size:15px;
 }
 
@@ -429,7 +430,7 @@ ul#mysidebar {
 }
 
 span.projectTitle {
-    font-family: Helvetica;
+    font-family: 'IBM Plex Sans', sans-serif;
     font-weight: bold;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`body {`
	`2`	`+ font-family: 'IBM Plex Sans', sans-serif;`
`2`	`3`	`font-size:15px;`
`3`	`4`	`}`
`4`	`5`
`@@ -429,7 +430,7 @@ ul#mysidebar {`
`429`	`430`	`}`
`430`	`431`
`431`	`432`	`span.projectTitle {`
`432`		`- font-family: Helvetica;`
	`433`	`+ font-family: 'IBM Plex Sans', sans-serif;`
`433`	`434`	`font-weight: bold;`
`434`	`435`	`}`
`435`	`436`