diff --git a/docs/website/overrides/main.html b/docs/website/overrides/main.html new file mode 100644 index 00000000..bc1e8e6b --- /dev/null +++ b/docs/website/overrides/main.html @@ -0,0 +1,9 @@ +{% extends "base.html" %} + +{% block htmltitle %} + {% if page.toc | first is defined %} +