More styling

src/default-theme/variables.css

@@ -75,6 +75,7 @@ all of MD as it is not optimized for dense, information rich UIs.
   */
   
   --jp-content-font-size: 14px;
+  --jp-content-line-height: 1.5;
   --jp-content-font-color0: black;
   --jp-content-font-color1: black;
   --jp-content-font-color2: var(--md-grey-700);

src/renderers/index.css

@@ -7,8 +7,8 @@
 .jp-RenderedHTMLCommon {
 
   color: black;
-  font-size: 14px;
-  line-height: 20px;
+  font-size: var(--jp-content-font-size1);
+  line-height: var(--jp-content-line-height);
 
 }