diff options
| author | Yong He <yonghe@outlook.com> | 2021-04-22 17:14:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-22 17:14:52 -0700 |
| commit | 79675228cbe85937e8b41a46ad9ba0f5a528291d (patch) | |
| tree | 92d575df6650c7edbf7aa98efa3881c6afb74383 | |
| parent | e8dee69592349cde50ddf8a4440f87e91808e6b6 (diff) | |
Fix documentation (#1811)
| -rw-r--r-- | docs/_config.yml | 2 | ||||
| -rw-r--r-- | docs/_includes/user-guide-toc.html | 4 | ||||
| -rw-r--r-- | docs/_layouts/user-guide.html | 15 |
3 files changed, 8 insertions, 13 deletions
diff --git a/docs/_config.yml b/docs/_config.yml index c74188174..259a24e4d 100644 --- a/docs/_config.yml +++ b/docs/_config.yml @@ -1 +1 @@ -theme: jekyll-theme-slate
\ No newline at end of file +theme: jekyll-theme-tactile
\ No newline at end of file diff --git a/docs/_includes/user-guide-toc.html b/docs/_includes/user-guide-toc.html index b3c1ed39f..511b30aad 100644 --- a/docs/_includes/user-guide-toc.html +++ b/docs/_includes/user-guide-toc.html @@ -1,6 +1,6 @@ <a href="/slang/user-guide/">Slang User's Guide</a> -<ol> +<ol class="toc_list"> <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/02-conventional-features.html">Conventional Language Features</a></li> @@ -9,7 +9,7 @@ <li><a href="/slang/user-guide/05-compiling.html">Compiling Code with Slang</a></li> <li><a href="/slang/user-guide/06-targets.html">Supported Compilation Targets</a></li> <li><a href="/slang/user-guide/a1-special-topics.html">Special Topics</a></li> - <ol> + <ol class="toc_list"> <li><a href="/slang/user-guide/a1-01-matrix-layout.html">Matrix Layout</a></li> </ol> diff --git a/docs/_layouts/user-guide.html b/docs/_layouts/user-guide.html index ebd887789..b08e85df0 100644 --- a/docs/_layouts/user-guide.html +++ b/docs/_layouts/user-guide.html @@ -31,28 +31,23 @@ padding-left: 20px; } - ol { - counter-reset: section; + .toc_list { list-style-type: none; - } - - li:before { - counter-increment: section; - content: counters(section, ".") " "; + padding-left:16px; } </style> {% seo %} </head> <body> - <div id="main_content_wrap" class="outer"> - <div id="main_content" class="inner" style="padding:40px;width:1000px"> + <div id="container"> + <div class="inner" style="padding:40px;width:1000px"> <div id="dividerContainer"> <div id="tocColumn"> {% include user-guide-toc.html %} </div> <div id="rightColumn"> - <section> + <section id="main_content"> {{ content }} </section> |