diff options
| -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"> |