diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 13:25:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 13:25:47 -0700 |
| commit | 997ffa1f37c368f1cbadc014800e47a07414c3f6 (patch) | |
| tree | d659723c27f9bb0af89552e9e342a2713e9a33e5 /docs/_layouts | |
| parent | 91ba42a9c9b9732e8e33b59f90725cd73ac7fcc9 (diff) | |
Update and rename documentation.html to user-guide.html
Diffstat (limited to 'docs/_layouts')
| -rw-r--r-- | docs/_layouts/user-guide.html (renamed from docs/_layouts/documentation.html) | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/user-guide.html index 7c450cc0a..3f290d500 100644 --- a/docs/_layouts/documentation.html +++ b/docs/_layouts/user-guide.html @@ -31,6 +31,10 @@ list-style:decimal; list-style-position: inside; } + ol li { + list-style:decimal; + list-style-position: inside; + } </style> {% seo %} </head> @@ -40,16 +44,7 @@ <div class="inner" style="padding:40px;width:1000px"> <div id="dividerContainer"> <div id="tocColumn"> - <a href="/slang/user-guide/README.html">Slang User's Guide</a> - <ol style="list-style-type:decimal"> - <li><a href="/slang/user-guide/00-introduction.html">Introduction</a></li> - <li><a href="/slang/user-guide/01-get-started.html">1. 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> + {% include_relative toc.html %} </div> <div id="rightColumn"> <section id="main_content"> |