summaryrefslogtreecommitdiffstats
path: root/docs/_layouts
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2021-03-30 13:02:25 -0700
committerGitHub <noreply@github.com>2021-03-30 13:02:25 -0700
commit0d012857a15e6f9e149dda4130c0f5002dcb27a0 (patch)
treef4bd3ed30759353be264cdd9a91e257d77873581 /docs/_layouts
parentb15f28151dc59f6f08d8d5c494a17f03fb3f82a7 (diff)
Update documentation.html
Diffstat (limited to 'docs/_layouts')
-rw-r--r--docs/_layouts/documentation.html24
1 files changed, 13 insertions, 11 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/documentation.html
index cc2fe58a9..71e139e02 100644
--- a/docs/_layouts/documentation.html
+++ b/docs/_layouts/documentation.html
@@ -15,17 +15,15 @@
}
#leftColumn {
float: left;
- width: 20%;
+ width: 25%;
height: 100%;
- box-sizing: border-box;
overflow: auto;
}
#rightColumn {
float: left;
- width: 80%;
+ width: 75%;
height: 100%;
overflow: auto;
- box-sizing: border-box;
}
</style>
{% seo %}
@@ -33,15 +31,19 @@
<body>
<div id="container">
- <div class="inner">
-
- <header>
- <h1>Slang User's Guide</h1>
- </header>
- <hr>
+ <div class="inner" style="padding:40px;width:1000px">
<div id="dividerContainer">
<div id="leftColumn">
- Table of Contents
+ <a href="/slang/user-guide/00-introduction.html">Slang User's Guide</a>
+ <ol>
+ <li><a href="/slang/user-guide/00-introduction.html">Introduction</a></li>
+ <li><a href="/slang/user-guide/01-get-started.html">Getting Started</a></li>
+ <li><a href="/slang/user-guide/02-conventional-features.html">Conventional Language Features</a></li>
+ <li><a href="/slang/user-guide/03-convenience-features.html">Extended language features</a></li>
+ <li><a href="/slang/user-guide/04-interfaces-generics.html">Interfaces and Generics</a></li>
+ <li><a href="/slang/user-guide/05-compiling.html">Compiling Code with Slang</a></li>
+ <li><a href="/slang/user-guide/06-targets.html">Supported Compilation Targets</a></li>
+ </ol>
</div>
<div id="rightColumn">
<section id="main_content">