diff options
Diffstat (limited to 'docs')
| -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> |