From c91f32277d0f5d2555ad394b4bf3ef9323de8a57 Mon Sep 17 00:00:00 2001 From: Luc Date: Mon, 4 Dec 2023 16:17:56 +0100 Subject: [PATCH] Updated blockquotes. --- config/en/mkdocs.yaml | 2 ++ docs/en/mathematics/set-theory/relations.md | 2 +- docs/stylesheets/extra.css | 5 +++++ 3 files changed, 8 insertions(+), 1 deletion(-) create mode 100644 docs/stylesheets/extra.css diff --git a/config/en/mkdocs.yaml b/config/en/mkdocs.yaml index 96ae5cb..db29243 100755 --- a/config/en/mkdocs.yaml +++ b/config/en/mkdocs.yaml @@ -41,6 +41,8 @@ markdown_extensions: - pymdownx.details - pymdownx.superfences +extra_css: + - stylesheets/extra.css extra_javascript: - javascripts/mathjax.js diff --git a/docs/en/mathematics/set-theory/relations.md b/docs/en/mathematics/set-theory/relations.md index a172a9a..58271a8 100644 --- a/docs/en/mathematics/set-theory/relations.md +++ b/docs/en/mathematics/set-theory/relations.md @@ -63,7 +63,7 @@ Some relations have special properties ??? note "*Proof*:" - Suppose $b \in [a]_R$, therefore $aRb$. If $c \in [b]_R$, then $bRc$ and as $aRb$ there is transitivity $aRc$. In particular $[b]_R \subseteq [a]_R$. By symmetry of $R$, $aRb \implies bRa$ and hence $a \in [b]_R$, obtaining $[a]_R \subseteq [b]_R. + Suppose $b \in [a]_R$, therefore $aRb$. If $c \in [b]_R$, then $bRc$ and as $aRb$ there is transitivity $aRc$. In particular $[b]_R \subseteq [a]_R$. By symmetry of $R$, $aRb \implies bRa$ and hence $a \in [b]_R$, obtaining $[a]_R \subseteq [b]_R$.
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css new file mode 100644 index 0000000..424e6a3 --- /dev/null +++ b/docs/stylesheets/extra.css @@ -0,0 +1,5 @@ +blockquote { + background-color: #f0f0f0; + opacity: 0.8; + color: #333; +} \ No newline at end of file