From 5f9f375f94023f0c92cf4d2b2735dd5bd1b5bf66 Mon Sep 17 00:00:00 2001 From: inference Date: Sun, 18 Jun 2023 18:30:15 +0100 Subject: [PATCH] Improve font sizing. --- inf.css | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/inf.css b/inf.css index 7b9d078..12dc20f 100644 --- a/inf.css +++ b/inf.css @@ -19,7 +19,7 @@ body { .body-link { font-family: Roboto, sans-serif; - font-size: 18px; + font-size: 17px; text-decoration: none; } @@ -45,7 +45,7 @@ section { /* Heading 1 */ h1, .h1 { font-family: Roboto, sans-serif; - font-size: 26px; + font-size: 24px; text-align: center; line-height: 130%; color: #ffffff; @@ -101,7 +101,7 @@ h6, .h6 { /* Paragraph */ p { font-family: Roboto, sans-serif; - font-size: 18px; + font-size: 17px; color: #ffffff; } @@ -113,7 +113,7 @@ blockquote { /* Code */ code { - font-size: 16px; + font-size: 15px; color: #ffffff; background-color: #000000; padding-top: 4px; @@ -159,14 +159,14 @@ table, th, td { border-color: #ffffff; padding: 15px; font-family: Roboto, sans-serif; - font-size: 18px; + font-size: 17px; color: #ffffff; overflow-x: auto; } .table-title { font-family: Roboto, sans-serif; - font-size: 18px; + font-size: 17px; color: #ffffff; font-weight: bold; text-align: center; @@ -174,7 +174,7 @@ table, th, td { .table-main { font-family: Roboto, sans-serif; - font-size: 18px; + font-size: 17px; color: #ffffff; text-align: center; } @@ -197,7 +197,7 @@ table, th, td { .sidebar div { padding: 8px; font-family: Roboto, sans-serif; - font-size: 24px; + font-size: 22px; display: block; z-index: 100; } @@ -205,7 +205,7 @@ table, th, td { .title { padding: 8px; font-family: Roboto, sans-serif; - font-size: 32px; + font-size: 28px; } .logo-small {