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;
-