#6687 fonts in lab (#7479)

* #6687 make improve fonts ui option work in lab * #6687 fix
twosigma · Jun 5, 2018 · 8b00d10 · 8b00d10
1 parent 63353b3
commit 8b00d10
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/js/lab/src/theme/static/fonts.css b/js/lab/src/theme/static/fonts.css
@@ -67,3 +67,11 @@ div.output_text {
 .improveFonts .cm-header-6 {
   font-family: "Lato", Helvetica, sans-serif;
 }
+
+.improveFonts .jp-RenderedText pre {
+  font-family: "Roboto Mono", monospace, sans-serif;
+}
+
+.improveFonts .jp-RenderedMarkdown {
+  font-family: "Lato", Helvetica, sans-serif;
+}