(logging-log4j-scala) branch main updated: Improve Antora styling

[vy]

This is an automated email from the ASF dual-hosted git repository.

vy pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/logging-log4j-scala.git


The following commit(s) were added to refs/heads/main by this push:
     new 1391bdd  Improve Antora styling
1391bdd is described below

commit 1391bdda8336d159fdbc928ed3f6c266d75762b7
Author: Volkan Yazıcı <vol...@yazi.ci>
AuthorDate: Wed May 1 16:57:37 2024 +0200

    Improve Antora styling
---
 antora-playbook.yaml | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/antora-playbook.yaml b/antora-playbook.yaml
index 9c021f7..4c0688b 100644
--- a/antora-playbook.yaml
+++ b/antora-playbook.yaml
@@ -67,11 +67,23 @@ ui:
         <!-- `@asciidoctor/tabs` extension styles -->
         <link rel="stylesheet" href="{{{uiRootPath}}}/css/vendor/tabs.css">
         <style>
+          /* Default `h4` and `h5` are smaller than the normal text, fix 
header font sizing: */
+          .doc h1 { font-size: 1.9rem; }
+          .doc h2 { font-size: 1.7rem; }
+          .doc h3 { font-size: 1.5rem; font-weight: 400; }
+          .doc h4 { font-size: 1.3rem; font-weight: 500; }
+          .doc h5 { font-size: 1.1rem; font-weight: 500; text-decoration: 
underline; }
+          /* Default `code`, `pre`, and `.colist` (source code annotations) 
fonts are too big, adjust them: */
+          .doc .colist>table code, .doc p code, .doc thead code { font-size: 
0.8em; }
+          .doc pre { font-size: 0.7rem; }
+          .doc .colist { font-size: 0.75rem; }
+          /* Tab header fonts aren't rendered good, adjusting the font weight: 
*/
+          .tablist > ul li { font-weight: 500; }
           /* `page-toclevels` greater than 4 are not supported by Antora UI, 
patching it: */
           .toc .toc-menu li[data-level="4"] a {
-            padding-left: 2.75rem
+            padding-left: 2.75rem;
           }
-          /* Replace the default highlight.js color for strings from red to 
green: */
+          /* Replace the default highlight.js color for strings from red 
(unnecessarily signaling something negative) to green: */
           .hljs-string {
             color: #0f8532;
           }