Improve font sizing.

This commit is contained in:
inference 2023-06-18 18:30:15 +01:00
parent 50a2af5dd0
commit 5f9f375f94
Signed by: inference
SSH Key Fingerprint: SHA256:9Pl0nZ2UJacgm+IeEtLSZ4FOESgP1eKCtRflfPfdX9M

18
inf.css
View File

@ -19,7 +19,7 @@ body {
.body-link { .body-link {
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 18px; font-size: 17px;
text-decoration: none; text-decoration: none;
} }
@ -45,7 +45,7 @@ section {
/* Heading 1 */ /* Heading 1 */
h1, .h1 { h1, .h1 {
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 26px; font-size: 24px;
text-align: center; text-align: center;
line-height: 130%; line-height: 130%;
color: #ffffff; color: #ffffff;
@ -101,7 +101,7 @@ h6, .h6 {
/* Paragraph */ /* Paragraph */
p { p {
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 18px; font-size: 17px;
color: #ffffff; color: #ffffff;
} }
@ -113,7 +113,7 @@ blockquote {
/* Code */ /* Code */
code { code {
font-size: 16px; font-size: 15px;
color: #ffffff; color: #ffffff;
background-color: #000000; background-color: #000000;
padding-top: 4px; padding-top: 4px;
@ -159,14 +159,14 @@ table, th, td {
border-color: #ffffff; border-color: #ffffff;
padding: 15px; padding: 15px;
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 18px; font-size: 17px;
color: #ffffff; color: #ffffff;
overflow-x: auto; overflow-x: auto;
} }
.table-title { .table-title {
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 18px; font-size: 17px;
color: #ffffff; color: #ffffff;
font-weight: bold; font-weight: bold;
text-align: center; text-align: center;
@ -174,7 +174,7 @@ table, th, td {
.table-main { .table-main {
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 18px; font-size: 17px;
color: #ffffff; color: #ffffff;
text-align: center; text-align: center;
} }
@ -197,7 +197,7 @@ table, th, td {
.sidebar div { .sidebar div {
padding: 8px; padding: 8px;
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 24px; font-size: 22px;
display: block; display: block;
z-index: 100; z-index: 100;
} }
@ -205,7 +205,7 @@ table, th, td {
.title { .title {
padding: 8px; padding: 8px;
font-family: Roboto, sans-serif; font-family: Roboto, sans-serif;
font-size: 32px; font-size: 28px;
} }
.logo-small { .logo-small {