Переглянути джерело

Merge pull request #8985 from jtpio/toc-header

Fix the Table of Contents header styling
Jeremy Tuloup 4 роки тому
батько
коміт
7b108c3610
1 змінених файлів з 2 додано та 2 видалено
  1. 2 2
      packages/toc/style/index.css

+ 2 - 2
packages/toc/style/index.css

@@ -38,7 +38,7 @@
   flex-direction: column;
   background: var(--jp-layout-color1);
   color: var(--jp-ui-font-color1);
-  font-size: var(--jp-ui-font-size0);
+  font-size: var(--jp-ui-font-size1);
   height: 100%;
 }
 
@@ -49,7 +49,7 @@
   font-weight: 600;
   letter-spacing: 1px;
   margin: 0px;
-  padding: 12px 0 4px 12px;
+  padding: 8px 12px;
   text-transform: uppercase;
 }