From f1cade5e29491c9a8068f38e9f185e1e10a73547 Mon Sep 17 00:00:00 2001 From: Zsolt Ero Date: Thu, 13 Jun 2024 19:58:18 +0200 Subject: [PATCH] styling --- website/src/styles/global.css | 48 +++++++++++++++++------------------ 1 file changed, 24 insertions(+), 24 deletions(-) diff --git a/website/src/styles/global.css b/website/src/styles/global.css index 9b30d8c..19c713b 100644 --- a/website/src/styles/global.css +++ b/website/src/styles/global.css @@ -16,7 +16,8 @@ body { .container { max-width: 600px; - margin: 0 auto; + margin-left: auto; + margin-right: auto; padding: 0 20px; } @@ -25,8 +26,7 @@ h2, h3, h4, h5, -h6, -.col-lbl { +h6 { color: #333; margin-top: 1em; margin-bottom: 0.5em; @@ -35,6 +35,16 @@ h6, font-weight: bold; } +p, +ul, +pre { + margin-bottom: 0.6em; +} + +h1 { + text-align: center; +} + p a { color: #333; font-weight: bold; @@ -51,28 +61,7 @@ strong { color: #333; } -h1 { - text-align: center; -} - -.footer { - margin-top: 3em; - display: flex; - justify-content: space-evenly; -} - -.footer a { - color: #777; - text-decoration: none; -} - -p, -ul { - margin-bottom: 0.6em; -} - pre { - margin-bottom: 0.6em; font-size: 14px; padding: 7px 14px; } @@ -88,6 +77,17 @@ hr { margin: 2em 0; } +.footer { + margin-top: 3em; + display: flex; + justify-content: space-evenly; +} + +.footer a { + color: #777; + text-decoration: none; +} + .logo { margin: 0 auto; }