From 62021fdee3f9a7d4e9f3b76b1ff0c3a68a091f2b Mon Sep 17 00:00:00 2001
From: Website Deployment Script
Date: Wed, 4 Apr 2018 17:20:30 +0000
Subject: [PATCH] Deploy website
Deploy website version based on 08fbfd59004de9b62c57adde7ad06cc52659a51d
---
css/main.css | 6 +++---
docs/en/api-pages.html | 2 +-
docs/en/commands.html | 2 +-
docs/en/publishing.html | 2 +-
4 files changed, 6 insertions(+), 6 deletions(-)
diff --git a/css/main.css b/css/main.css
index ec691a440e..c899b1c58a 100644
--- a/css/main.css
+++ b/css/main.css
@@ -1549,8 +1549,8 @@ nav.toc .toggleNav .navBreadcrumb h2 {
.onPageNav ul li {
font-size: 12px;
- line-height: 14px;
- padding-bottom: 12px;
+ line-height: 17px;
+ padding-bottom: 9px;
}
.onPageNav ul ul {
@@ -1558,7 +1558,7 @@ nav.toc .toggleNav .navBreadcrumb h2 {
}
.onPageNav ul ul li {
- padding-bottom: 8px;
+ padding-bottom: 5px;
}
}
}
diff --git a/docs/en/api-pages.html b/docs/en/api-pages.html
index 1111e24d4c..e5d25e7090 100644
--- a/docs/en/api-pages.html
+++ b/docs/en/api-pages.html
@@ -86,7 +86,7 @@ Background choices: dark, highlight, lightYou should configure your site's primary, secondary, and code block colors using the colors field in siteConfig as specified here. You can also configure other colors in the same way as described in the siteConfig doc.
You can provide your own custom styles by adding them anywhere in the website/static folder. Any .css files you provide in the static folder will get concatenated to the end of Docusaurus' provided styles, allowing you to add to or override Docusaurus default styles as you wish.
An easy way to figure out what classes you wish to override or add to is to start your server locally and use your browser's inspect element tool.