message: Adding DocSearch to docs
diff: --ifm-font-color-base: #383736;
  --ifm-heading-color: #383736;
  - --ifm-footer-background-color: #395C6B;
  + --ifm-footer-background-color: #395c6b;
  --ifm-color-primary: #e27152;
  --ifm-color-primary-dark: #de5b38;
  --ifm-code-font-size: 95%;
  }
  -html[data-theme='dark'] {
  - --ifm-font-color-base: #FFFFFF;
  - --ifm-heading-color: #FFFFFF;
  +html[data-theme="dark"] {
  + --ifm-font-color-base: #ffffff;
  + --ifm-heading-color: #ffffff;
  +}
  +
  +.navbar__link {
  + font-weight: bold;
  }
  .docusaurus-highlight-code-line {
  @@ -82,6 +86,6 @@ h1 {
  text-transform: uppercase;
  }
  -html[data-theme='light'] .footer {
  - --ifm-footer-background-color: #395C6B;
  +html[data-theme="light"] .footer {
  + --ifm-footer-background-color: #395c6b;
  }
  