From 09fa0f154007e91d3e23f144230d12d1e4c385ca Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20D=C3=A4schle?= Date: Mon, 8 Jun 2020 15:32:21 +0200 Subject: [PATCH] vdoc: mobile fixes --- cmd/tools/vdoc-resources/doc.css | 26 +++++++++++++++++--------- 1 file changed, 17 insertions(+), 9 deletions(-) diff --git a/cmd/tools/vdoc-resources/doc.css b/cmd/tools/vdoc-resources/doc.css index f2cb707fdb..23147df5c8 100644 --- a/cmd/tools/vdoc-resources/doc.css +++ b/cmd/tools/vdoc-resources/doc.css @@ -72,6 +72,7 @@ body { background-color: var(--background-color); color: #000; color: var(--text-color); + overflow-y: scroll; } /** Reset for menus */ @@ -147,7 +148,7 @@ body { } .doc-nav > .heading-container > .heading { display: flex; - padding: 0 2rem; + padding: 0 1rem; height: 56px; } .doc-nav > .heading-container > .heading > .module { @@ -256,15 +257,16 @@ body { .doc-content { display: flex; flex-direction: column; - padding: 1rem 2rem; + padding: 1rem; overflow: hidden; } .doc-content a { color: #2779bd; color: var(--link-color); } -.doc-content > .doc-node:not(:last-child) { - padding: 1rem 0 3rem 0; +.doc-content > .doc-node { + padding: 5rem 0 2rem 0; + margin-top: -4rem; } .doc-content > .doc-node.const:not(:first-child) { padding-top: 0; @@ -285,6 +287,7 @@ body { border-bottom: 1px solid var(--title-bottom-line-color); } .doc-content > .doc-node > .title > .link { + display: flex; margin-left: auto; fill: #dae1e7; fill: var(--ref-symbol-color); @@ -313,7 +316,7 @@ body { .doc-content > .doc-node > .title h5, .doc-content > .doc-node > .title h6 { font-weight: 400; - padding-bottom: 0.8rem; + padding-top: 0.6rem 0; margin: 0; } .doc-content > .doc-node > .title h1 a, @@ -355,7 +358,7 @@ body { top: 0; height: 100%; overflow-y: auto; - padding: 2rem; + padding: 1rem 1rem 0 1rem; width: 100%; box-sizing: border-box; -ms-overflow-style: none; @@ -480,9 +483,9 @@ pre { .doc-content { font-size: 0.95rem; flex: 1; + padding: 1rem 2rem; } .doc-toc { - padding: 1rem 1rem 0 1rem; position: relative; /* IE11 */ position: sticky; @@ -526,8 +529,7 @@ pre { } .doc-nav > .heading-container > .heading { height: auto; - padding-top: 1rem; - padding-bottom: 1rem; + padding: 1rem 2rem; flex-direction: column-reverse; justify-content: center; } @@ -544,10 +546,16 @@ pre { .doc-nav .content.hidden { display: flex; } + .doc-container { margin-top: 0; margin-left: 300px; } + .doc-node { + padding-top: 1rem !important; + margin-top: 0 !important; + } + .doc-toc { top: 0; }