Bläddra i källkod

Update renderer styles.

Brian E. Granger 7 år sedan
förälder
incheckning
e3b9f18023
1 ändrade filer med 12 tillägg och 0 borttagningar
  1. 12 0
      packages/rendermime/style/index.css

+ 12 - 0
packages/rendermime/style/index.css

@@ -396,6 +396,8 @@ margin-top = 14, 14, 14, 14, 8, 8
 
 a.jp-InternalAnchorLink {
   visibility: hidden;
+  margin-left: 8px;
+  color: var(--md-blue-800);
 }
 
 h1:hover .jp-InternalAnchorLink,
@@ -406,3 +408,13 @@ h5:hover .jp-InternalAnchorLink,
 h6:hover .jp-InternalAnchorLink {
   visibility: visible;
 }
+
+
+
+/*-----------------------------------------------------------------------------
+| RenderedPDF
+|----------------------------------------------------------------------------*/
+
+.jp-RenderedPDF {
+  font-size: var(--jp-ui-font-size1);
+}