Justify mathematical texts

content/constant_morphisms.md

@@ -30,7 +30,7 @@ If $X$ is a subterminal object, then any morphism $X \to Y$ is constant. If $Y$
 _Proof._ This is immediate from the definitions. <span class="qed">$\square$</span>
 
 ::: Lemma 5
-If $f : X \to Y$ is a monomorphism that is constant, then $X$ is subterminal.
+If $f : X \to Y$ is a monomorphism that is constant, then $X$ is sub&shy;terminal.
 :::
 
 _Proof._ If $x_1,x_2 : T \rightrightarrows X$ are morphisms, then $f \circ x_1 = f \circ x_2$ since $f$ is constant. Since $f$ is also a monomorphism, we infer that $x_1 = x_2$. <span class="qed">$\square$</span>

content/contribute.md

@@ -5,7 +5,7 @@ description: CatDat welcomes contributions from the community, including filling
 
 ## How to contribute
 
-_CatDat_ is developed in an open-source [GitHub repository](https://github.com/ScriptRaccoon/catdat) owned by [Martin Brandenburg](https://ncatlab.org/nlab/show/Martin+Brandenburg). It welcomes contributions from the community, including filling in missing information or discovering new combinations of properties.
+_CatDat_ is developed in an open-source [GitHub repository](https://github.com/ScriptRaccoon/catdat) by [Martin Brandenburg](https://ncatlab.org/nlab/show/Martin+Brandenburg). It welcomes contributions from the community, including filling in missing information or discovering new combinations of properties.
 
 [**Video tutorial**](https://www.youtube.com/watch?v=NoZWdMFfQfg)
 

content/sifted-colimits-in-groupoids.md

@@ -55,7 +55,7 @@ $$h u_i = v_{i_0} D(b)^{-1} D(a) = v_k D(a) = v_i.$$
 Moreover, $h$ is uniquely determined: if $v_i = h u_i$ for all $i \in \I$, then for $i = i_0$ we obtain $v_{i_0} = h$. <span class="qed">$\square$</span>
 
 ::: Corollary 2
-Let $\C$ be a category with the property that every sifted diagram is eventually constant (for example, a groupoid). Then every object $X \in \C$ is strongly finitely presentable, i.e. the functor $\Hom(X,-) : \C \to \Set$ preserves sifted colimits.
+Let $\C$ be a category with the property that every sifted diagram is eventually constant (for example, a groupoid). Then every object $X \in \C$ is strongly finitely presentable, i.e. the functor $\Hom(X,-) : \C \to \Set$ preserves sifted co&shy;limits.
 :::
 
 _Proof._

src/components/Popup.svelte

@@ -88,7 +88,9 @@ an issue when clicking two proofs in a row. So it's a <div> then.
 				<Fa icon={faXmark} />
 			</button>
 		</header>
-		{@html popup_state.text}
+		<div class="justified">
+			{@html popup_state.text}
+		</div>
 	</div>
 </div>
 

src/pages/ImplicationPage.svelte

@@ -37,7 +37,7 @@
 
 <h2>Implication Details</h2>
 
-<p>
+<p class="justified">
 	<strong>Claim:</strong>
 	{#if has_associated_assumptions}
 		Given a {remove_underscores(type)}
@@ -88,7 +88,7 @@
 	{/each}
 </p>
 
-<p>
+<p class="justified">
 	<strong>Proof:</strong>
 	{@html implication.proof}
 </p>

src/pages/PropertyPage.svelte

@@ -48,7 +48,7 @@
 
 <TagList {tags} {type} sort="property" />
 
-<p>
+<p class="justified">
 	{@html property.description}
 
 	{#if property.invariant_under_equivalences === false}

src/pages/StructureDetailPage.svelte

@@ -134,7 +134,7 @@
 		{/if}
 	</ul>
 
-	<p>{@html structure.description}</p>
+	<p class="justified">{@html structure.description}</p>
 </section>
 
 <PropertyAssignmentList

src/routes/app.css

@@ -61,6 +61,7 @@ body {
 	background-color: var(--bg-color);
 	color: var(--text-color);
 	line-height: 1.5;
+	hyphens: auto;
 }
 
 body:has(#nav_dialog[open]) {
@@ -83,6 +84,8 @@ h3 {
 	font-weight: 500;
 	color: var(--heading-color);
 	font-family: 'DM Mono', monospace;
+	text-align: left;
+	hyphens: none;
 }
 
 h2 {
@@ -296,6 +299,10 @@ label {
 	color: var(--error-color);
 }
 
+.justified {
+	text-align: justify;
+}
+
 /* container class for youtube videos */
 
 .video-container {

src/routes/content/[id]/+page.svelte

@@ -18,7 +18,7 @@
 
 <MetaData title={data.meta_data.title} description={data.meta_data.description} />
 
-<div class="content">
+<div class="content justified">
 	{@html data.html}
 </div>