From e7f757bb5f200670e976f6375eaa7b0c46ed8d09 Mon Sep 17 00:00:00 2001 From: Website Deployment Script Date: Wed, 13 Dec 2017 23:28:11 +0000 Subject: [PATCH] Deploy website Deploy website version based on 8e98337d793b4d0bbb64adf181505cccae177297 --- css/main.css | 4 ++-- en/help.html | 12 ++++++------ help.html | 12 ++++++------ 3 files changed, 14 insertions(+), 14 deletions(-) diff --git a/css/main.css b/css/main.css index 4c63314661..8cbb79db39 100644 --- a/css/main.css +++ b/css/main.css @@ -727,7 +727,7 @@ code { box-shadow: 2px 0 rgba(46, 133, 85, 0.07), -2px 0 rgba(46, 133, 85, 0.07); color: inherit; border-radius: .3em; - font-family: "SFMono-Regular",source-code-pro,Menlo,Monaco,Consolas,"Roboto Mono","Droid Sans Mono","Liberation Mono",Consolas,"Courier New",Courier,monospace; + font-family: "SFMono-Regular",source-code-pro,Menlo,Monaco,Consolas,"Roboto Mono","Droid Sans Mono","Liberation Mono",Consolas,"Courier New",Courier,monospace; /* avoids scale issues on mobile */ word-break: break-word; } @@ -922,7 +922,7 @@ pre code { display: flex; flex-direction: row; flex-wrap: wrap; - margin: -10px -20px; + margin: -10px; } .gridBlock .twoByGridBlock { box-sizing: border-box; diff --git a/en/help.html b/en/help.html index 60fc5bc8b3..ceccfdeb29 100644 --- a/en/help.html +++ b/en/help.html @@ -1,9 +1,9 @@ -Docusaurus · Easy to Maintain Open Source Documentation Websites

Docusaurus

Need help?

This project is maintained by a dedicated group of people.

Browse Docs

-

Learn more using the documentation on this site.

-

Join the community

-

Submit issues and pull requests for any new features you may want to see or bugs you've found on GitHub.

-

Stay up to date

-

Find out what's new with this project by checking back on the site.

+Docusaurus · Easy to Maintain Open Source Documentation Websites

Docusaurus

Need help?

If you need help with Docusaurus, you can try one of the mechanisms below. We are looking at other options to provide help for Docusaurus users well.

Browse the docs

+

Learn more about Docusaurus using the official documentation.

+

Twitter

+

You can follow and contact us on Twitter.

+

GitHub

+

At our GitHub repo Browse and submit issues or pull requests for bugs you find or any new features you may want implemented. Be sure to also check out our contributing information.