From 68fb697b3281a8f42d3caa5e2f3f3b79cdd978ce Mon Sep 17 00:00:00 2001 From: Ahmed Date: Fri, 19 Jun 2026 17:11:28 +0300 Subject: fix: network nav and page style --- scripts/gen_bots.py | 34 +++++++++++++++++++++++++--------- 1 file changed, 25 insertions(+), 9 deletions(-) (limited to 'scripts') diff --git a/scripts/gen_bots.py b/scripts/gen_bots.py index 392251f..3e6b633 100644 --- a/scripts/gen_bots.py +++ b/scripts/gen_bots.py @@ -25,20 +25,36 @@ html { color: black; background-color: white; } body { font-family: "Kawkab Mono"; font-size: 16px; line-height: 1.4; margin: 0; padding: 4rem 0; min-height: 100%; overflow-wrap: break-word; } main, header, footer { max-width: 800px; margin-inline: auto; padding: 0 2rem; } h1, header, footer { text-align: center; } -main { text-align: left; } +main { text-align: justify; } p, h2, h3, h4 { margin: 1em 0 0 0; } table { margin: auto; border-collapse: collapse; } th, td { border: 1px solid; padding: 0.3em 0.8em; } pre { background: rgba(128,128,128,0.08); padding: 1em; overflow-x: auto; margin: 1em 0; } code { font-size: 85%; } +hr { border: none; border-top: thin solid; margin: 1.25rem 0; } header { margin-bottom: 1em; } footer { margin-top: 3em; } -a { color: inherit; } @media (max-width: 600px) { body { font-size: 0.9em; } h1 { font-size: 1.8em; } } @media (max-width: 400px) { body { font-size: 0.8em; } h1 { font-size: 1.6em; } } @media (prefers-color-scheme: dark) { html { filter: invert(1); } img { filter: invert(1); } }""" -FOOTER = "" +FOOTER = """\ +""" def page(title, header_html, content_html): @@ -47,7 +63,7 @@ def page(title, header_html, content_html): - + {title}