altf4arnold/datatracker
1
0
Fork 0
Code Issues Pull requests Actions 3 Packages Projects Releases Wiki Activity

fix(ui): Make the heading and textarea font sizes a bit smaller (#4212)

Browse source 
* ui: Make the heading and textarea font sizes a bit smaller

* Address review commit from @NGPixel
This commit is contained in:
Lars Eggert 2022-07-13 14:22:08 -07:00 committed by GitHub
parent aa9490faf6
commit 8b3cf2a9fc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
ietf/static/css/ietf.scss
View file

@ -17,6 +17,13 @@ $popover-max-width: 100%;
@import "bootstrap/scss/mixins";
@import "bootstrap/scss/utilities";
$h1-font-size: $font-size-base * 2.2;
$h2-font-size: $font-size-base * 1.8;
$h3-font-size: $font-size-base * 1.6;
$h4-font-size: $font-size-base * 1.4;
$h5-font-size: $font-size-base * 1.2;
$h6-font-size: $font-size-base;
// Layout & components
@import "bootstrap/scss/root";
@import "bootstrap/scss/reboot";
@ -71,9 +78,10 @@ html {
scroll-padding-top: 60px;
}
// Make textareas use a monospace font
textarea {
font-family: var(--bs-font-monospace);
// Make textareas in forms use a monospace font
textarea.form-control {
font-family: $font-family-code;
font-size: $code-font-size;
}
// Wrap long lines in preformatted text.