From 75bcc68cbac1280f688f8186344932a9abe57085 Mon Sep 17 00:00:00 2001 From: Shogun Date: Mon, 10 Jan 2022 12:34:12 +0100 Subject: [PATCH] doc: hide menus in appropriate pages --- doc/api_assets/style.css | 6 ++++++ doc/template.html | 30 ++++++++++------------------- tools/doc/html.mjs | 41 +++++++++++++++++++++++++++++++++++++++- 3 files changed, 56 insertions(+), 21 deletions(-) diff --git a/doc/api_assets/style.css b/doc/api_assets/style.css index 8a6e6b066d6f5d..b954c88bf028fc 100644 --- a/doc/api_assets/style.css +++ b/doc/api_assets/style.css @@ -238,6 +238,12 @@ li.picker-header a span { padding-left: 1rem; } +.picker li a.active, +.picker li a.active:hover, +.picker li a.active:focus { + font-weight: 700; +} + .picker li:last-child a { border-bottom-right-radius: 1px; border-bottom-left-radius: 1px; diff --git a/doc/template.html b/doc/template.html index 63ca9d6a22a918..36eaa27ac86802 100644 --- a/doc/template.html +++ b/doc/template.html @@ -40,23 +40,9 @@

Node.js __VERSION__ documentation