diff --git a/website/doc/theme/css/chrome.css b/website/doc/theme/css/chrome.css index f33ab4e3..69fbe34d 100644 --- a/website/doc/theme/css/chrome.css +++ b/website/doc/theme/css/chrome.css @@ -210,6 +210,7 @@ #mdbook pre { position: relative; + font-size: 0.875rem; } #mdbook pre > .buttons { position: absolute; @@ -260,6 +261,7 @@ } #mdbook pre > code { padding: 1rem; + font-size: 0.875rem; } /* FIXME: ACE editors overlap their buttons because ACE does absolute diff --git a/website/doc/theme/css/general.css b/website/doc/theme/css/general.css index 000100bb..8ace6312 100644 --- a/website/doc/theme/css/general.css +++ b/website/doc/theme/css/general.css @@ -141,7 +141,9 @@ border-top: .1em solid var(--quote-border); border-bottom: .1em solid var(--quote-border); } - +#mdbook blockquote p { + margin-top: 1rem; +} #mdbook :not(.footnote-definition) + .footnote-definition, #mdbook .footnote-definition + :not(.footnote-definition) {