docs: A number of UI changes for Docusaurus

docs/docs/adrs/adr-template.md

@@ -2,16 +2,16 @@
 sidebar_position: 2
 title: ADR Template
 ---
-# ADR {ADR-NUMBER}: {TITLE}
+# ADR [ADR-NUMBER]: [TITLE]
 
 ## Changelog
-* {date}: {changelog}
+* [date]: [changelog]
 
 ## Status
 
 > A decision may be "proposed" if it hasn't been agreed upon yet, or "accepted" once it is agreed upon. If a later ADR changes or reverses a decision, it may be marked as "deprecated" or "superseded" with a reference to its replacement.
 
-{Deprecated|Proposed|Accepted}
+[Deprecated|Proposed|Accepted]
 
 ## Context
 
@@ -38,4 +38,4 @@ If the proposed change will be large, please also indicate a way to do the chang
 
 > Are there any relevant PR comments, issues that led up to this, or articles referenced for why we made the given design choice? If so link them here!
 
-* {reference link}
+* [references]

docs/docs/adrs/intro.md

@@ -34,7 +34,7 @@ To suggest an ADR, please make use of the [ADR template](./adr-template.md) prov
 
 - [ADR 001: Key Assignment](./adr-001-key-assignment.md)
 - [ADR 002: Jail Throttling](./adr-002-throttle.md)
-- [ADR 004: Denom DOS fixes](./adr-004-denom-dos-fixes)
+- [ADR 004: Denom DOS fixes](./adr-004-denom-dos-fixes.md)
 - [ADR 005: Cryptographic verification of equivocation evidence](./adr-005-cryptographic-equivocation-verification.md)
 - [ADR 008: Throttle with retries](./adr-008-throttle-retries.md)
 - [ADR 009: Soft Opt-Out](./adr-009-soft-opt-out.md)

docs/docusaurus.config.js

@@ -1,8 +1,10 @@
 // @ts-check
 // Note: type annotations allow type checking and IDEs autocompletion
+import remarkMath from "remark-math";
+import rehypeKatex from "rehype-katex";
 
-const lightCodeTheme = require('prism-react-renderer').themes.github;
-const darkCodeTheme = require('prism-react-renderer').themes.dracula;
+const lightCodeTheme = require("prism-react-renderer").themes.github;
+const darkCodeTheme = require("prism-react-renderer").themes.dracula;
 
 /** @type {import('@docusaurus/types').Config} */
 const config = {
@@ -35,14 +37,16 @@ const config = {
       /** @type {import('@docusaurus/preset-classic').Options} */
       ({
         docs: {
-          sidebarPath: require.resolve('./sidebars.js'),
+          sidebarPath: require.resolve("./sidebars.js"),
           routeBasePath: "/",
           versions: {
             current: {
               path: "/",
               // banner: "current",
             },
           },
+          remarkPlugins: [remarkMath],
+          rehypePlugins: [rehypeKatex],
         },
 
         theme: {
@@ -62,19 +66,19 @@ const config = {
         },
       },
       colorMode: {
-        defaultMode: 'dark',
-        disableSwitch: true,
+        defaultMode: "dark",
+        disableSwitch: false,
         respectPrefersColorScheme: false,
       },
       navbar: {
         title: "Interchain Security",
         hideOnScroll: false,
-        // logo: {
-        //   alt: "Interchain Security Logo",
-        //   src: "img/logo-sdk.svg",
-        //   href: "/",
-        //   target: "_self",
-        // },
+        logo: {
+          alt: "Interchain Security Logo",
+          src: "/img/hub.svg",
+          href: "/",
+          target: "_self",
+        },
         items: [
           {
             href: "https://github.com/cosmos/interchain-security",
@@ -96,7 +100,7 @@ const config = {
           {
             items: [
               {
-                html: `<a href="https://cosmos.network"><img src="/img/logo-bw.svg" alt="Cosmos Logo"></a>`,
+                html: `<a href="https://cosmos.network"><img src="/interchain-security/img/logo-bw.svg" alt="Interchain Security Logo"></a>`,
               },
             ],
           },
@@ -164,7 +168,8 @@ const config = {
             ],
           },
         ],
-        copyright: "Informal Systems",
+        copyright:
+          "The development of Interchain Security is primarily led by Informal Systems. Funding for this development comes primarily from the Interchain Foundation, a Swiss non-profit.",
       },
       prism: {
         theme: lightCodeTheme,
@@ -206,7 +211,7 @@ const config = {
         toExtensions: ["html"],
         redirects: [
           {
-            from: ["/", "/main", "/master"],
+            from: ["/main", "/master"],
             to: "/",
           },
         ],