Fixed the overflow problem in formatting to stop

the wrapping

For consistency between code and text display, switched both
fonts to Deva Vu
This commit is contained in:
reaction.la 2024-02-06 22:55:45 +00:00
parent 872ac0ccdb
commit 1f15307124
No known key found for this signature in database
GPG Key ID: 99914792148C8388

View File

@ -1,7 +1,7 @@
body { body {
max-width: 30em; max-width: 30em;
margin-left: 1em; margin-left: 1em;
font-family: "DejaVu Serif, Georgia, Times New Roman", Times, serif; font-family:"DejaVu Serif", "Georgia", serif;
font-style: normal; font-style: normal;
font-variant: normal; font-variant: normal;
font-weight: normal; font-weight: normal;
@ -16,8 +16,6 @@ td, th {
padding: 0.5rem; padding: 0.5rem;
text-align: left; text-align: left;
} }
code{white-space: pre-wrap;
}
span.smallcaps{font-variant: small-caps; span.smallcaps{font-variant: small-caps;
} }
span.underline{text-decoration: underline; span.underline{text-decoration: underline;
@ -45,13 +43,17 @@ td, th {
text-align: left; text-align: left;
} }
pre.terminal_image { pre.terminal_image {
font-family: 'DejaVu Sans Mono, Lucida Console, sans-serif'; background-color: #000;
background-color: #000;
color: #0F0; color: #0F0;
font-size: 75%; overflow: auto;
white-space: no-wrap; }
} pre.terminal_image > code { white-space: pre; position: relative;
}
pre.text { overflow: auto; }
pre.text > code { white-space: pre; }
code {font-family: "DejaVu Sans Mono", "Lucida Console", "sans-serif";}
* { box-sizing: border-box;} * { box-sizing: border-box;}
.logo-header { .logo-header {