Browse Source

Final styling done!

Brian E. Granger 8 years ago
parent
commit
a004815497
2 changed files with 19 additions and 9 deletions
  1. 1 1
      src/default-theme/variables.css
  2. 18 8
      src/renderers/index.css

+ 1 - 1
src/default-theme/variables.css

@@ -74,7 +74,7 @@ all of MD as it is not optimized for dense, information rich UIs.
   Content font variables are used for typography of user generated content.
   */
   
-  --jp-content-font-size: 14px;
+  --jp-content-font-size: 13px;
   --jp-content-line-height: 1.5;
   --jp-content-font-color0: black;
   --jp-content-font-color1: black;

+ 18 - 8
src/renderers/index.css

@@ -4,14 +4,20 @@
 |----------------------------------------------------------------------------*/
 
 
-.jp-RenderedHTMLCommon {
-
-  color: black;
-  font-size: var(--jp-content-font-size1);
+.jp-RenderedLatex {
+  color: var(--jp-content-font-color1);
+  font-size: var(--jp-content-font-size);
   line-height: var(--jp-content-line-height);
+}
 
+
+.jp-RenderedHTMLCommon {
+  color: var(--jp-content-font-color1);
+  font-size: var(--jp-content-font-size);
+  line-height: var(--jp-content-line-height);
 }
 
+
 .jp-RenderedHTMLCommon .MathJax_Display {
   margin: 0;
 }
@@ -21,18 +27,22 @@
   font-style: italic;
 }
 
+
 .jp-RenderedHTMLCommon strong {
   font-weight: bold;
 }
 
+
 .jp-RenderedHTMLCommon u {
   text-decoration: underline;
 }
 
+
 .jp-RenderedHTMLCommon:link {
   text-decoration: underline;
 }
 
+
 .jp-RenderedHTMLCommon:visited {
   text-decoration: underline;
 }
@@ -179,8 +189,8 @@ margin-top = 14, 14, 14, 14, 8, 8
 
 
 .jp-RenderedHTMLCommon hr {
-  color: black;
-  background-color: black;
+  color: var(--jp-border-color1);
+  background-color: var(--jp-border-color1);
   margin-top: 1em;
   margin-bottom: 1em;
 }
@@ -194,8 +204,8 @@ margin-top = 14, 14, 14, 14, 8, 8
 .jp-RenderedHTMLCommon pre,
 .jp-RenderedHTMLCommon code {
   border: 0;
-  background-color: white;
-  color: black;
+  background-color: var(--jp-layout-color1);
+  color: var(--jp-content-font-color1);
   font-size: 100%;
   padding: 0px;
 }