From 79675228cbe85937e8b41a46ad9ba0f5a528291d Mon Sep 17 00:00:00 2001 From: Yong He Date: Thu, 22 Apr 2021 17:14:52 -0700 Subject: Fix documentation (#1811) --- docs/_config.yml | 2 +- docs/_includes/user-guide-toc.html | 4 ++-- docs/_layouts/user-guide.html | 15 +++++---------- 3 files changed, 8 insertions(+), 13 deletions(-) (limited to 'docs') 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 @@ Slang User's Guide -
    +
    1. Introduction
    2. Getting Started
    3. Conventional Language Features
      4. @@ -9,7 +9,7 @@
    4. Compiling Code with Slang
    5. Supported Compilation Targets
    6. Special Topics
      7. -
        +
        1. Matrix Layout
        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; } {% seo %} -
        -
        +
        +
        {% include user-guide-toc.html %}
        -
        +
        {{ content }}
        -- cgit v1.2.3