From b175468159c8c08b1185e21ed595205a6fe3d72d Mon Sep 17 00:00:00 2001 From: Rocknest <35231115+Rocknest@users.noreply.github.com> Date: Sat, 12 Oct 2019 19:17:35 +0300 Subject: [PATCH] Consistent margins --- lib/std/special/docs/index.html | 34 ++++++++++++++++++++++++--------- 1 file changed, 25 insertions(+), 9 deletions(-) diff --git a/lib/std/special/docs/index.html b/lib/std/special/docs/index.html index 63f9fdc037..0cccf1dabf 100644 --- a/lib/std/special/docs/index.html +++ b/lib/std/special/docs/index.html @@ -96,11 +96,12 @@ } .sidebar .logo { - padding: 0.35rem 0.35rem; + padding: 1rem 0.35rem 0.35rem 0.35rem; } - .sidebar .logo > img { - width: 100%; + .sidebar .logo > svg { + display: block; + overflow: visible; } .sidebar h2 { @@ -144,7 +145,7 @@ /* docs section */ .docs { - padding: 0.7rem 0.7rem 2.4rem 1.4rem; + padding: 1rem 0.7rem 2.4rem 1.4rem; font-size: 1rem; background-color: var(--bg-color); overflow-wrap: break-word; @@ -152,6 +153,7 @@ .docs .search { width: 100%; + margin-bottom: 0.8rem; padding: 0.5rem; font-size: 1rem; font-family: var(--ui); @@ -184,6 +186,10 @@ color: var(--link-color); } + .docs p { + margin: 0.8rem 0; + } + .docs pre { font-family: var(--mono); font-size:1em; @@ -194,22 +200,25 @@ .docs code { font-family: var(--mono); - font-size:1em; + font-size: 1em; } .docs h1 { - border-bottom: 1px dashed; + font-size: 1.4em; + margin: 0.8em 0; + padding: 0; + border-bottom: 0.0625rem dashed; } .docs h2 { font-size: 1.3em; margin: 0.5em 0; padding: 0; - border-bottom: 1px solid; + border-bottom: 0.0625rem solid; } #listNav { list-style-type: none; - margin: 0.5em 0 0 0; + margin: 0; padding: 0; overflow: hidden; background-color: #f1f1f1; @@ -424,7 +433,14 @@