From e2d208ac0a8b3acd61f7e501c08b07d270c1f615 Mon Sep 17 00:00:00 2001 From: Kyler Date: Tue, 28 Oct 2025 00:29:50 -0600 Subject: [PATCH] More Adjustments --- convert.py | 19 +++++++++---------- docs/index.md | 8 ++++---- docs/styles.css | 15 ++++++++++++--- 3 files changed, 25 insertions(+), 17 deletions(-) diff --git a/convert.py b/convert.py index 94fc23d..380a0fd 100644 --- a/convert.py +++ b/convert.py @@ -24,10 +24,8 @@ def convert_markdown_to_html(md_path: Path, html_path: Path): prev_page = md.Meta["prev"][0] # type: ignore next_page = md.Meta["next"][0] # type: ignore - prev_link = f'Prev' \ - if prev_page else '' - next_link = f'Next' \ - if next_page else '' + prev_link = f'Prev' + next_link = f'Next' html_page = f""" @@ -44,11 +42,11 @@ def convert_markdown_to_html(md_path: Path, html_path: Path):

{title}

-

{f'{prev_link} |' if prev_page else ''} Home @@ -63,10 +61,11 @@ def convert_markdown_to_html(md_path: Path, html_path: Path):

@@ -128,4 +127,4 @@ def convert_all_watch_files(source_dir: Path, output_dir: Path): if __name__ == "__main__": convert_all(SOURCE_DIR, OUTPUT_DIR) - convert_all_watch_files(SOURCE_DIR, OUTPUT_DIR) + # convert_all_watch_files(SOURCE_DIR, OUTPUT_DIR) diff --git a/docs/index.md b/docs/index.md index c5fb91f..824a41d 100644 --- a/docs/index.md +++ b/docs/index.md @@ -1,12 +1,12 @@ --- -Title: Specs Home +Title: Docs Home Prev: Next: Overview --- -# YREA SLS +# YREA SLS Documentation -Sections: +**Sections**: 1. [[Overview]] 2. [[Lexical Structure]] 3. [[Primitive Types]] @@ -19,7 +19,7 @@ Sections: 10. [[Generic Programming]] 11. [[Advanced Topics]] -Appendices: +**Appendices**: - A. [[Standard Library]] - B. [[Complete Trait Reference]] - C. [[Complete Operator Reference]] diff --git a/docs/styles.css b/docs/styles.css index 3aec572..bce637a 100644 --- a/docs/styles.css +++ b/docs/styles.css @@ -45,7 +45,7 @@ ul, ol { code { font-family: 'Consolas', 'Courier New', Courier, monospace; - background-color: #cad5ee; + background-color: #dddddd; padding-left: 4px; padding-right: 4px; border-radius: 3px; @@ -64,7 +64,7 @@ pre { border-style: solid; border-radius: 3px; padding: 4px; - background-color: #cad5ee; + background-color: #eeeeee; overflow-x: auto; } @@ -99,12 +99,16 @@ header > div > .title { grid-area: t; } +header > div >.logo > a { + text-decoration: none; +} + header > div > .logo { margin: 0; grid-area: l; } -header > div > .logo > span { +header > div > .logo > a > span { display: inline-block; width: 4px; } @@ -122,6 +126,11 @@ footer { } @media screen and (max-width: 768px) { + + body { + font-size: 18px; + } + header { padding-left: 5vw; padding-right: 5vw;