File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -165,12 +165,30 @@ $tooltip-margin: inherit !default;
165165}
166166
167167.rfcmarkup {
168-
168+ // A lot of plaintext documents seem to have line lengths >72ch.
169+ // To handle that, we calculate with 80ch here and adjust some of the
170+ // font sizes down accordingly.
169171 pre {
170- width : 72 ch ;
172+ width : 80 ch ;
171173 white-space : pre-wrap ;
172174 }
173175
176+ @media screen {
177+ @include media-breakpoint-only (xs) {
178+ font-size : min (6.75pt , var (--doc-ptsize-max ));
179+ }
180+
181+ @include media-breakpoint-up (sm) {
182+ font-size : min (8.75pt , var (--doc-ptsize-max ));
183+ }
184+
185+ @include media-breakpoint-up (md) {
186+ font-size : min (8.75pt , var (--doc-ptsize-max ));
187+ }
188+
189+ // Rest of font sizes is inherited from above.
190+ }
191+
174192 h1 ,
175193 h2 ,
176194 h3 ,
You can’t perform that action at this time.
0 commit comments