diff --git a/cmd/tools/vdoc-resources/doc.css b/cmd/tools/vdoc-resources/doc.css index 0a75d706e3..394ff870d5 100644 --- a/cmd/tools/vdoc-resources/doc.css +++ b/cmd/tools/vdoc-resources/doc.css @@ -275,10 +275,10 @@ body { word-break: break-word; } .doc-content > .doc-node.const:not(:first-child) { - padding-top: 0; + padding-top: 4rem; } .doc-content > .doc-node.const:not(:last-child) { - padding-bottom: 1rem; + padding-bottom: 2rem; } .doc-content > .timestamp { font-size: 0.8rem; @@ -556,7 +556,12 @@ pre { .doc-nav .content.hidden { display: flex; } - + .doc-content > .doc-node.const:not(:first-child) { + padding-top: 0; + } + .doc-content > .doc-node.const:not(:last-child) { + padding-bottom: 1rem; + } .doc-container { margin-top: 0; margin-left: 300px; @@ -565,7 +570,6 @@ pre { padding-top: 1rem !important; margin-top: 0 !important; } - .doc-toc { top: 0; } diff --git a/cmd/tools/vdoc.v b/cmd/tools/vdoc.v index 30df2d5a4c..968f11a756 100644 --- a/cmd/tools/vdoc.v +++ b/cmd/tools/vdoc.v @@ -36,6 +36,51 @@ const ( exe_dir = os.dir(exe_path) res_path = os.join_path(exe_dir, 'vdoc-resources') vexe_path = os.base_dir(@VEXE) + html_content = ' + + +
+ + + +