fix: Handle plaintext documents with lines of 80ch (#5098)

This commit is contained in:
Lars Eggert 2023-02-07 21:15:01 +02:00 committed by GitHub
parent 35d124106a
commit cda2cfd119
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -165,12 +165,30 @@ $tooltip-margin: inherit !default;
}
.rfcmarkup {
// A lot of plaintext documents seem to have line lengths >72ch.
// To handle that, we calculate with 80ch here and adjust some of the
// font sizes down accordingly.
pre {
width: 72ch;
width: 80ch;
white-space: pre-wrap;
}
@media screen {
@include media-breakpoint-only(xs) {
font-size: min(6.75pt, var(--doc-ptsize-max));
}
@include media-breakpoint-up(sm) {
font-size: min(8.75pt, var(--doc-ptsize-max));
}
@include media-breakpoint-up(md) {
font-size: min(8.75pt, var(--doc-ptsize-max));
}
// Rest of font sizes is inherited from above.
}
h1,
h2,
h3,