From 91ba42a9c9b9732e8e33b59f90725cd73ac7fcc9 Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 30 Mar 2021 13:21:32 -0700
Subject: Update documentation.html

---
 docs/_layouts/documentation.html | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

(limited to 'docs')

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>
-- 
cgit v1.2.3