From 60b04b0988cdedb4bb9e1c67d0775a317510b703 Mon Sep 17 00:00:00 2001 From: r00ster91 Date: Sat, 6 Aug 2022 16:00:53 +0200 Subject: [PATCH] style: some more formatting --- lib/docs/index.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/docs/index.html b/lib/docs/index.html index 67412bd7ac..848b130705 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -27,7 +27,7 @@ --help-sh-color: rgba(0, 0, 0, 0.75); } - html, body { margin: 0; padding:0; height: 100%; } + html, body { margin: 0; padding: 0; height: 100%; } a { text-decoration: none; @@ -207,9 +207,9 @@ .docs pre { font-family: var(--mono); - font-size:1em; - background-color:#F5F5F5; - padding:1em; + font-size: 1em; + background-color: #F5F5F5; + padding: 1em; overflow-x: auto; } @@ -225,7 +225,7 @@ border-bottom: 0.0625rem dashed; } - .docs h2 { + .docs h2 { font-size: 1.3em; margin: 0.5em 0; padding: 0;