fix: Restore responsive font sizes for rfc2html renderings (#5136)

This commit is contained in:
Lars Eggert 2023-02-13 16:09:42 +02:00 committed by GitHub
parent 1ffe661f6c
commit 800da449f5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -165,6 +165,7 @@ $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.
@ -186,7 +187,18 @@ $tooltip-margin: inherit !default;
font-size: min(8.75pt, var(--doc-ptsize-max));
}
// Rest of font sizes is inherited from above.
// Rest of font sizes is the same as above.
@include media-breakpoint-up(lg) {
font-size: min(11pt, var(--doc-ptsize-max));
}
@include media-breakpoint-up(xl) {
font-size: min(13pt, var(--doc-ptsize-max));
}
@include media-breakpoint-up(xxl) {
font-size: min(16pt, var(--doc-ptsize-max));
}
}
h1,