diff options
| author | Yong He <yonghe@outlook.com> | 2021-03-30 13:05:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-30 13:05:20 -0700 |
| commit | 93288a5a2c92dc820b5190e1925dc526cc7ffd54 (patch) | |
| tree | 6f672462f1df19a1956932f06c4ca20976aa6060 | |
| parent | 0d012857a15e6f9e149dda4130c0f5002dcb27a0 (diff) | |
Update documentation.html
| -rw-r--r-- | docs/_layouts/documentation.html | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/_layouts/documentation.html b/docs/_layouts/documentation.html index 71e139e02..c37f610b7 100644 --- a/docs/_layouts/documentation.html +++ b/docs/_layouts/documentation.html @@ -13,7 +13,7 @@ #dividerContainer { height: 98%; } - #leftColumn { + #tocColumn { float: left; width: 25%; height: 100%; @@ -24,6 +24,7 @@ width: 75%; height: 100%; overflow: auto; + padding-left: 20px; } </style> {% seo %} @@ -33,8 +34,8 @@ <div id="container"> <div class="inner" style="padding:40px;width:1000px"> <div id="dividerContainer"> - <div id="leftColumn"> - <a href="/slang/user-guide/00-introduction.html">Slang User's Guide</a> + <div id="tocColumn"> + <a href="/slang/user-guide/README.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> |