diff --git a/lib/static/css/main.css b/lib/static/css/main.css index 3e589569a3..299618f44f 100644 --- a/lib/static/css/main.css +++ b/lib/static/css/main.css @@ -752,10 +752,14 @@ blockquote { margin-right: 10px; } +.fixedHeaderContainer header .headerTitle { + font-size: 1.25em; + margin: 0; +} + .fixedHeaderContainer header .headerTitleWithLogo { display: block; - font-size: 20px; - font-weight: 400; + font-size: 1.25em; line-height: 18px; margin: 0; position: relative; diff --git a/website/siteConfig.js b/website/siteConfig.js index 8cde32dca4..f8d8f20ee7 100644 --- a/website/siteConfig.js +++ b/website/siteConfig.js @@ -37,7 +37,7 @@ const siteConfig = { apiKey: '3eb9507824b8be89e7a199ecaa1a9d2c', indexName: 'docusaurus', algoliaOptions: { - facetFilters: [ "lang:LANGUAGE" ] + facetFilters: [ "lang:LANGUAGE" ] } }, colors: {