website: tweak font sizes

4 years ago · dbe7d009bd
parent c9bf17c4d6
commit dbe7d009bd
2 changed files with 2 additions and 3 deletions
--- a/website/src/components/SidebarAd/index.js
+++ b/website/src/components/SidebarAd/index.js
@ -36,7 +36,7 @@ function initAd() {

    const $newEl = document.createElement('div');
    $newEl.id = AD_ELEMENT_ID;
-    $tocEl.append($newEl);
+    $tocEl.prepend($newEl);

    return $newEl;
  })();
--- a/website/src/css/custom.css
+++ b/website/src/css/custom.css
@ -7,6 +7,5 @@
  --ifm-color-primary-lighter: rgb(165, 165, 245);
  --ifm-color-primary-lightest: rgb(191, 191, 248);

-  --ifm-font-size-base: 16px;
-  --ifm-code-font-size: 0.8rem;
+  --ifm-font-size-base: 18px;
 }