Upgrade to Red Hat fonts

visualizer/static/style.css

@@ -11,7 +11,8 @@ a:hover, a:focus {
 }
 
 body {
-  font-family: 'Verlag', 'Helvetica Neue', 'Helvetica', 'Arial', sans-serif;
+  color: #333333;
+  font-family: 'Red Hat Text', sans-serif;
   margin: 0;
   text-align: center;
 }
@@ -46,6 +47,7 @@ header > div {
 }
 
 #title h1 {
+  font-family: 'Red Hat Display', sans-serif;
   font-size: 2rem;
   font-weight: 800;
   line-height: 1.1;
@@ -54,8 +56,9 @@ header > div {
 }
 
 #title div {
+  font-family: 'Red Hat Display', sans-serif;
   font-size: 0.95rem;
-  font-weight: 700;
+  font-weight: 600;
   line-height: 1.2;
   margin: -0.1rem 0 0 0.2rem;
 }
@@ -79,6 +82,8 @@ body.embedded #plotter {
 }
 
 #plotter-nav {
+  color: #282728;
+  font-family: 'Red Hat Display', sans-serif;
   width: 100%;
   border: solid #cfcfcf;
   border-width: 1px 0;
@@ -108,9 +113,9 @@ body.embedded #plotter-nav {
   cursor: pointer;
   display: inline-block;
   font-family: inherit;
-  font-size: 1.125rem;
-  font-weight: bold;
-  line-height: 1.125;
+  font-size: 1rem;
+  font-weight: 650;
+  line-height: 1.25;
   margin: .8rem 0;
   padding: .3rem 0 .1rem;
   border: none;
@@ -188,11 +193,11 @@ select:disabled {
   cursor: pointer;
   display: inline-block;
   font-size: 1rem;
-  font-weight: bold;
+  font-weight: 620;
   font-family: inherit;
   line-height: 1;
   margin: 8px;
-  padding: 0.55rem 1rem;
+  padding: 0.75rem 1.25rem;
   position: relative;
   text-align: center;
   transition-duration: 0.25s;