diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 13:21:32 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 13:21:32 -0700 |
| commit | 91ba42a9c9b9732e8e33b59f90725cd73ac7fcc9 (patch) | |
| tree | 468cb10d5231e6be6322fc3b5420795745043df7 | |
| parent | 93288a5a2c92dc820b5190e1925dc526cc7ffd54 (diff) | |
Update documentation.html
| -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> |