diff options
| -rw-r--r-- | docs/_layouts/documentation.html | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/documentation.html index c37f610b7..7c450cc0a 100644 --- a/docs/_layouts/documentation.html +++ b/docs/_layouts/documentation.html @@ -18,13 +18,18 @@ width: 25%; height: 100%; overflow: auto; + margin-right:20px; } #rightColumn { float: left; - width: 75%; + width: 70%; height: 100%; overflow: auto; - padding-left: 20px; + padding-left:20px; + } + ol { + list-style:decimal; + list-style-position: inside; } </style> {% seo %} @@ -36,9 +41,9 @@ <div id="dividerContainer"> <div id="tocColumn"> <a href="/slang/user-guide/README.html">Slang User's Guide</a> - <ol> + <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">Getting Started</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> |