From f13f657d7c0dca4ac5d65dc11816198c4484bfc0 Mon Sep 17 00:00:00 2001 From: Maxim Moinat Date: Tue, 24 Aug 2021 14:11:11 +0200 Subject: [PATCH] update vocabulary doc html --- docs/vocabulary.html | 49 ++++++++++++++++++++++++-------------------- 1 file changed, 27 insertions(+), 22 deletions(-) diff --git a/docs/vocabulary.html b/docs/vocabulary.html index 1bf3c91..73afbc3 100644 --- a/docs/vocabulary.html +++ b/docs/vocabulary.html @@ -13,7 +13,6 @@ How the Vocabulary is Built - @@ -26,6 +25,8 @@ + + @@ -84,7 +85,6 @@ h6 { } - @@ -364,13 +364,13 @@ div.tocify {