diff --git a/docs/pandoc_templates/style.css b/docs/pandoc_templates/style.css index 86c7240..4881b5d 100644 --- a/docs/pandoc_templates/style.css +++ b/docs/pandoc_templates/style.css @@ -46,12 +46,17 @@ td, th { } pre.terminal_image { font-family: 'DejaVu Sans Mono, Lucida Console, sans-serif'; - background-color: #000; + background-color: #000; color: #0F0; - font-size: 75%; - white-space: no-wrap; - } + font-size: 90%; + overflow: auto; + } +pre.terminal_image > code { white-space: pre; position: relative; + } +pre.text { overflow: auto; } +pre.text > code { white-space: pre; } + * { box-sizing: border-box;} .logo-header {