Generalization

packages/viewer/package.json

@@ -32,6 +32,7 @@
     "hast-to-hyperscript": "^10.0.3",
     "hyperscript": "^2.0.2",
     "jquery": "^3.7.1",
+    "markdown-it": "^14.2.0",
     "rehype-katex": "^6.0.3",
     "remark-rehype": "^10.1.0",
     "unified": "^10.1.2",
@@ -46,6 +47,7 @@
     "@types/debug": "^4.1.12",
     "@types/hyperscript": "0.0.7",
     "@types/katex": "^0.16.7",
+    "@types/markdown-it": "^14.1.2",
     "@types/page": "^1.11.9",
     "@types/unist": "^2.0.10",
     "cypress": "^14.3.2",

packages/viewer/src/components/Footer.svelte

@@ -1,20 +1,24 @@
 <script lang="ts">
+  import { categoryConfig } from '@/constants'
+  import markdownit from 'markdown-it'
+  const md = markdownit()
   import Sync from './Dev/Sync.svelte'
 </script>
 
 <!-- Footer -->
 <footer class="text-center bg-light text-muted">
   <div class="pt-4">
-    Data © {new Date().getFullYear()} Steven Clontz and James Dabbs (<a
-      class="text-dark"
-      href="https://github.com/pi-base/data/blob/main/LICENSE.md">CC-BY</a
-    >) | Software © {new Date().getFullYear()} James Dabbs (<a
-      class="text-dark"
-      href="https://github.com/pi-base/web/blob/main/LICENSE.md">MIT License</a
-    >) |
-    <a class="text-dark" href="https://github.com/pi-base">GitHub</a>
+    {@html md.renderInline(
+      categoryConfig.footer(new Date().getFullYear().toString()),
+    )}
   </div>
   <div class="p-2">
     Data last synchonized: <Sync />
   </div>
 </footer>
+
+<style>
+  :global(footer a) {
+    color: #343a40;
+  }
+</style>

packages/viewer/src/components/Home.svelte

@@ -1,126 +1,48 @@
 <script lang="ts">
   import Cite from './Shared/Cite.svelte'
+  import markdownit from 'markdown-it'
+  const md = markdownit()
 
-  import { contributingUrl } from '@/constants'
+  import { categoryConfig } from '@/constants'
 </script>
 
 <div class="wide jumbotron home-jumbotron">
   <div class="container">
-    <h1 class="display-4">π-Base</h1>
-    <p class="lead">a community database of topological counterexamples</p>
-    <div class="ml-3 mt-4">
-      <p>
-        ➜ Search spaces by name/description:
-        <a href="/spaces?text=compactification" class="text-info"
-          >compactifications</a
-        >
-      </p>
-      <p>
-        ➜ Search spaces by properties:
-        <a
-          href="/spaces?q=compact%20%2B%20connected%20%2B%20t_2%20%2B%20~metrizable"
-          class="text-info">non-metric continua</a
-        >
-      </p>
-      <p class="mb-0">
-        ➜ Find counterexamples:
-        <a href="/theorems/T000040" class="text-info"
-          >connected spaces need not be path connected</a
-        >
-      </p>
+    <h1 class="display-4">π-Base: {categoryConfig.subject}</h1>
+    <p class="lead">{categoryConfig.slogan}</p>
+    <div class="ml-3 mt-4 calloutFeatures">
+      {#each categoryConfig.calloutFeatures as feature}
+        <p>
+          ➜ {@html md.renderInline(feature)}
+        </p>
+      {/each}
     </div>
   </div>
 </div>
 
 <main class="container">
-  <blockquote class="blockquote text-center mt-5 mb-5">
-    <p class="mb-0">
-      Topology is a dense forest of counterexamples. A usable map of the forest
-      is a fine thing.
-    </p>
-    <footer class="blockquote-footer">
-      Paraphrased from Mary Ellen Rudin's review of
-      <cite title="Counterexamples in Topology"
-        >Counterexamples in Topology</cite
-      >
-    </footer>
-    <p class="mt-3">
-      <small>
-        Dedicated to the memory of our friend and mentor Gary Gruenhage
-        (1947-2023).
-      </small>
-    </p>
-  </blockquote>
-  <hr />
-  <h3>Contributing</h3>
-  <p>
-    π-Base's data and software are open-sourced on <a
-      href="https://github.com/pi-base/">GitHub</a
-    >. We rely on
-    <a href="https://github.com/pi-base/data/graphs/contributors"
-      >volunteers like yourself</a
-    >
-    to <a href={contributingUrl}>contribute</a> new spaces, properties, and theorems.
-  </p>
-  <h3>About Us</h3>
-  <p>
-    The π-Base was founded in 2014 by its lead maintainer
-    <a href="https://github.com/jamesdabbs">James Dabbs</a>. π-Base's lead
-    mathematical editor and contributing research software engineer
-    <a href="https://clontz.org">Steven Clontz</a>
-    joined the project in 2017.
-  </p>
-  <h3>Community</h3>
-  <p>
-    The π-Base is part of the
-    <a href="https://code4math.org" style="font-family:monospace">code4math</a>
-    community. Join the conversation on either the
-    <a href="https://code4math.zulipchat.com/">code4math Zulip</a>
-    or the
-    <a href="https://github.com/orgs/pi-base/discussions">
-      π-Base GitHub Discussion board</a
-    >.
-  </p>
-  <p>
-    More databases may be discovered at the
-    <a href="https://mathbases.org/">Index of Mathematical DataBases</a>.
-  </p>
-  <h3>Special Acknowledgements</h3>
-  <p>
-    Many people have contributed to this project, but a few individuals and
-    organizations deserve particular recognition:
-  </p>
-  <ul>
-    <li>
-      Steen and Seebach for writing the inspiration for this project,
-      <a href="https://en.wikipedia.org/wiki/Counterexamples_in_Topology">
-        <cite>Counterexamples in Topology</cite></a
-      >.
-    </li>
-    <li>
-      <a href="http://www.montevallo.edu/staff-bio/scott-varagona/"
-        >Scott Varagona</a
-      >
-      for his heroic work serializing <cite>Counterexamples</cite> into the first
-      version of the π-Base.
-    </li>
-    <li>
-      Steven and James' graduate advisor,
-      <a href="http://www.auburn.edu/~gruengf/">Gary Gruenhage</a>, for all his
-      support and guidance.
-    </li>
-    <li>
-      <a href="http://austinmohr.com/home/">Austin Mohr</a>
-      for his work and feedback using the π-Base as a pedagogical tool and promoting
-      us on
-      <a href="https://math.stackexchange.com">Math.StackExchange</a>.
-    </li>
-    <li>
-      Funding from the <a href="https://www.southalabama.edu/"
-        >University of South Alabama</a
-      >
-      Faculty Development Council from 2017-2018.
-    </li>
-  </ul>
+  {#if categoryConfig.acknowledgement}
+    <blockquote class="blockquote text-center mt-5 mb-5">
+      <p class="mb-0">
+        {categoryConfig.acknowledgement.quote}
+      </p>
+      <footer class="blockquote-footer">
+        {categoryConfig.acknowledgement.footer}
+      </footer>
+      <p class="mt-3">
+        <small>
+          {categoryConfig.acknowledgement.dedication}
+        </small>
+      </p>
+    </blockquote>
+    <hr />
+  {/if}
+  {@html md.render(categoryConfig.homeContent)}
 </main>
 <Cite />
+
+<style>
+  :global(.calloutFeatures a) {
+    color: #17a2b8;
+  }
+</style>

packages/viewer/src/components/Nav.svelte

@@ -1,7 +1,7 @@
 <script lang="ts">
   import context from '@/context'
-  import { contributingUrl, mainBranch, helpUrl } from '@/constants'
-  import Branch from './Shared/Icons/Branch.svelte'
+  import { categoryConfig, mainBranch } from '@/constants'
+  import { Branch } from './Shared/Icons'
 
   const { showDev, source } = context()
 
@@ -11,14 +11,16 @@
 
 <nav class="navbar navbar-expand-lg navbar-{bg} bg-{bg}">
   <div class="container">
-    <a class="navbar-brand" href="/">π-Base</a>
+    <a class="navbar-brand" href="/">π-Base: {categoryConfig.subject}</a>
 
     <div class="navbar-nav mr-auto">
       <a class="nav-link" href="/spaces">Explore</a>
-      <a class="nav-link" href="/spaces/all">Spaces</a>
+      <a class="nav-link" href="/spaces/all">{categoryConfig.objects}</a>
       <a class="nav-link" href="/properties">Properties</a>
       <a class="nav-link" href="/theorems">Theorems</a>
-      <a class="nav-link" href="/questions">Questions</a>
+      {#if categoryConfig.showQuestions}<a class="nav-link" href="/questions"
+          >Questions</a
+        >{/if}
     </div>
 
     <div class="navbar-nav">
@@ -29,8 +31,8 @@
           Advanced
         {/if}
       </a>
-      <a class="nav-link" href={contributingUrl}>Contribute</a>
-      <a class="nav-link" href={helpUrl}>Help</a>
+      <a class="nav-link" href={categoryConfig.contributingUrl}>Contribute</a>
+      <a class="nav-link" href={categoryConfig.helpUrl}>Help</a>
     </div>
   </div>
 </nav>

packages/viewer/src/components/Search/Results/NotFound.svelte

@@ -1,6 +1,6 @@
 <script lang="ts">
   import context from '@/context'
-  import { contributingUrl } from '@/constants'
+  import { categoryConfig } from '@/constants'
   import { Formula } from '@/components/Shared'
   import type { Formula as F, Property } from '@/models'
   import { disprove } from '@/stores/deduction'
@@ -28,7 +28,7 @@
   </p>
   {#if !text}
     <p>
-      <a href={contributingUrl}>
+      <a href={categoryConfig.contributingUrl}>
         Contribute an example or theorem that answers this search.
       </a>
     </p>

packages/viewer/src/components/Shared/Cite.svelte

@@ -1,17 +1,16 @@
 <script lang="ts">
+  import { categoryConfig } from '@/constants'
   import { page } from '$app/stores'
   import CopyButton from './CopyButton.svelte'
-  export let title: string =
-    'π-Base, a community database of topological counterexamples.'
-  $: markdown = `[${title}](${$page.url})`
+  $: markdown = `[${categoryConfig.citeTitle}](${$page.url})`
 </script>
 
 <div class="text-center p-2">
   <small>
     Cite as:
     <span class="text-muted">
-      The pi-Base Community.
-      <cite>{title}.</cite>
+      The π-Base Community.
+      <cite>{categoryConfig.citeTitle}.</cite>
       Available at: {$page.url}
       (Accessed: {new Date().toISOString().split('T')[0]}).
     </span>

packages/viewer/src/components/Shared/References.svelte

@@ -1,7 +1,7 @@
 <script lang="ts">
   import type { Ref } from '@pi-base/core'
   import Reference from './Reference.svelte'
-  import { contributingUrl } from '@/constants'
+  import { categoryConfig } from '@/constants'
 
   export let references: Ref.Ref[]
 </script>
@@ -14,7 +14,7 @@
   {:else}
     <li>
       No references available. If appropriate, please consider <a
-        href={contributingUrl}>contributing</a
+        href={categoryConfig.contributingUrl}>contributing</a
       > a reference.
     </li>
   {/each}

packages/viewer/src/components/Theorems/Converse.svelte

@@ -1,6 +1,6 @@
 <script lang="ts">
   import context from '@/context'
-  import { contributingUrl } from '@/constants'
+  import { categoryConfig } from '@/constants'
   import type { Space, Theorem } from '@/models'
   import { Table as Traits } from '../Traits'
   import Name from './Name.svelte'
@@ -38,7 +38,7 @@
 </p>
 {#if counterexamples.length === 0 && !proof}
   <p>
-    <a href={contributingUrl}
+    <a href={categoryConfig.contributingUrl}
       >You can learn how to contribute a theorem or counterexample here.</a
     >
   </p>

packages/viewer/src/components/Traits/Show.svelte

@@ -3,7 +3,7 @@
   import { Icons, Link, References, Source, Typeset } from '@/components/Shared'
   import Proof from './Proof.svelte'
   import Redundancy from './Redundancy.svelte'
-  import { contributingUrl } from '@/constants'
+  import { categoryConfig } from '@/constants'
   export let space: Space
   export let property: Property
   export let trait: Trait | undefined
@@ -76,6 +76,6 @@
   <References references={meta.refs} />
   <Redundancy {space} {property} />
 {:else}
-  Please consider <a href={contributingUrl}>contributing</a> a proof or disproof
-  of this property.
+  Please consider <a href={categoryConfig.contributingUrl}>contributing</a> a proof
+  or disproof of this property.
 {/if}