diff --git a/src/components/StructureSelector.svelte b/src/components/StructureSelector.svelte index ef0e5685..f44d7a25 100644 --- a/src/components/StructureSelector.svelte +++ b/src/components/StructureSelector.svelte @@ -1,5 +1,6 @@ diff --git a/src/routes/categories/+page.svelte b/src/routes/categories/+page.svelte index 01d01778..57dff5ab 100644 --- a/src/routes/categories/+page.svelte +++ b/src/routes/categories/+page.svelte @@ -20,7 +20,7 @@ ) - +

List of categories

diff --git a/src/routes/categories/[tag]/+page.svelte b/src/routes/categories/[tag]/+page.svelte index 7e8ad64e..2a87d248 100644 --- a/src/routes/categories/[tag]/+page.svelte +++ b/src/routes/categories/[tag]/+page.svelte @@ -6,10 +6,7 @@ let { data } = $props() - +

List of categories tagged with '{data.tag}'

diff --git a/src/routes/category-comparison/[...ids]/+page.svelte b/src/routes/category-comparison/[...ids]/+page.svelte index af9aac57..a1082c62 100644 --- a/src/routes/category-comparison/[...ids]/+page.svelte +++ b/src/routes/category-comparison/[...ids]/+page.svelte @@ -37,10 +37,7 @@ }) - c.name).join(', ')} -/> +

Comparison of categories

diff --git a/src/routes/category-implications/+page.svelte b/src/routes/category-implications/+page.svelte index 1be447c7..d793449e 100644 --- a/src/routes/category-implications/+page.svelte +++ b/src/routes/category-implications/+page.svelte @@ -38,12 +38,9 @@ ) - + -

List of implications

+

Implications of categories

diff --git a/src/routes/category-properties/+page.svelte b/src/routes/category-properties/+page.svelte index 5c4fa346..62897845 100644 --- a/src/routes/category-properties/+page.svelte +++ b/src/routes/category-properties/+page.svelte @@ -18,12 +18,9 @@ ) - + -

List of properties of categories

+

Properties of categories

diff --git a/src/routes/contribute/+page.svelte b/src/routes/contribute/+page.svelte index 84b87765..cac1c908 100644 --- a/src/routes/contribute/+page.svelte +++ b/src/routes/contribute/+page.svelte @@ -3,7 +3,7 @@ import SuggestionForm from '$components/SuggestionForm.svelte' - +

How to contribute

diff --git a/src/routes/functor-implications/+page.svelte b/src/routes/functor-implications/+page.svelte index ea1dee25..c65fa0ba 100644 --- a/src/routes/functor-implications/+page.svelte +++ b/src/routes/functor-implications/+page.svelte @@ -7,12 +7,9 @@ let { data } = $props() - + -

List of implications of functors

+

Implications of functors

diff --git a/src/routes/functor-properties/+page.svelte b/src/routes/functor-properties/+page.svelte index 16e66400..fcc996e9 100644 --- a/src/routes/functor-properties/+page.svelte +++ b/src/routes/functor-properties/+page.svelte @@ -7,10 +7,7 @@ let { data } = $props() - +

Properties of Functors

diff --git a/src/routes/functors/+page.svelte b/src/routes/functors/+page.svelte index c0c6997e..daaef7fc 100644 --- a/src/routes/functors/+page.svelte +++ b/src/routes/functors/+page.svelte @@ -9,7 +9,7 @@ let { data } = $props() - +

List of functors

diff --git a/src/routes/missing/+page.svelte b/src/routes/missing/+page.svelte index 5d187b1d..ef9acb4f 100644 --- a/src/routes/missing/+page.svelte +++ b/src/routes/missing/+page.svelte @@ -10,7 +10,7 @@

Missing data

diff --git a/src/routes/resources/+page.svelte b/src/routes/resources/+page.svelte index 7b0b27e5..6a176dda 100644 --- a/src/routes/resources/+page.svelte +++ b/src/routes/resources/+page.svelte @@ -2,9 +2,9 @@ import MetaData from '$components/MetaData.svelte' - + -

Resources

+

Resources on Category Theory

This is an (incomplete) list of resources on category theory.