Improve Antora code styling

Author: vy

antora-playbook.yaml

@@ -83,6 +83,10 @@ ui:
           .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: */