From aa1a06bf9b806761f176d9fa1a1e34b00bb7828c Mon Sep 17 00:00:00 2001 From: Andrew Kelley Date: Tue, 19 Jul 2022 13:54:32 -0700 Subject: [PATCH] Autodoc: small polish on the html --- lib/docs/index.html | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/lib/docs/index.html b/lib/docs/index.html index 97bbdbd893..03579d975e 100644 --- a/lib/docs/index.html +++ b/lib/docs/index.html @@ -523,16 +523,20 @@ background-color: orange; text-align: center; color: black; - padding: 15px 5px; + padding: 5px 5px; + } + .banner a { + color: black; + text-decoration: underline; }
@@ -594,7 +598,7 @@
- Internal Doc Mode +