diff options
Diffstat (limited to 'website/manual.html')
| -rw-r--r-- | website/manual.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/website/manual.html b/website/manual.html index 0ce361838..ec2b55421 100644 --- a/website/manual.html +++ b/website/manual.html @@ -25,7 +25,7 @@ const response = await fetch(url); const content = await response.text(); - let converter = new showdown.Converter({ extensions: ["toc"] }); + let converter = new showdown.Converter({ extensions: ["toc"], tables: true }); let html = converter.makeHtml(content); const manual = document.getElementById("manual"); |