From 29f3ba97326d8a97eddbefa057a803a9fae400de Mon Sep 17 00:00:00 2001 From: Michael Ficarra Date: Thu, 1 Feb 2024 13:43:48 -0700 Subject: [PATCH] reduce document width on wider displays (#571) * reduce document width on wider displays * 80rem * left align text --- css/elements.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/css/elements.css b/css/elements.css index 36406f09..f77a3caa 100644 --- a/css/elements.css +++ b/css/elements.css @@ -110,6 +110,8 @@ body { #spec-container { padding: 0 20px; + max-width: 80rem; + margin: 0 auto; flex-grow: 1; flex-basis: 66%; box-sizing: border-box; @@ -319,6 +321,7 @@ emu-note { border-left: 5px solid #52e052; background: #e9fbe9; padding: 10px 10px 10px 0; + overflow-x: auto; } emu-note > span.note { @@ -728,7 +731,8 @@ emu-annex emu-annex emu-annex emu-annex emu-annex emu-annex { /* Figures and tables */ figure { display: block; - margin: 1em 0 3em 0; + overflow-x: auto; + margin: 1.5em 0; } figure object { display: block;